-
Chapter and Conference Paper
A provably correct embedded verifier for the certification of safety critical software
Vframe is one of Ansaldo's software driven vital architectures for safety critical products. This paper describes a project whose result is the development of an “embedded verifier”, i.e. a system integrated with...
-
Chapter and Conference Paper
Improved Automata Generation for Linear Temporal Logic
We improve the state-of-the-art algorithm for obtaining an automaton from a linear temporal logic formula. The automaton is intended to be used for model checking, as well as for satisfiability checking. There...
-
Chapter and Conference Paper
Model Checking Security Protocols Using a Logic of Belief
In this paper we show how model checking can be used for the verification of security protocols using a logic of belief. We model principals as processes able to have beliefs. The idea underlying the approach ...
-
Chapter and Conference Paper
Model Checking Syllabi and Student Careers
Model checking has been conceived as a powerful tool for hardware, software and protocol verification, which has its main application fields in the development of hi-tech and safety-critical systems. We presen...
-
Chapter and Conference Paper
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
This paper describes version 2 of the NuSMV tool. NuSMV is a symbolic model checker originated from the reengineering, reimplementation and extension of SMV, the original BDD-based model checker developed at C...
-
Chapter and Conference Paper
C-OWL: Contextualizing Ontologies
Ontologies are shared models of a domain that encode a view which is common to a set of different parties. Contexts are local models that encode a party’s subjective view of a domain. In this paper we show how on...
-
Chapter and Conference Paper
SWebB: Semantic Web Browsing
In this talk I will present a browser, called SWebB (Semantic Web Browser), which explicitly uses, whenever available, the semantic information codified in Contextual Ontologies. Contextual Ontologies are ontolog...
-
Chapter and Conference Paper
Web Explanations for Semantic Heterogeneity Discovery
Managing semantic heterogeneity is a complex task. One solution involves matching like terms to each other. We view Match as an operator that takes two graph-like structures (e.g., concept hierarchies or ontologi...
-
Chapter and Conference Paper
Efficient Semantic Matching
We think of Match as an operator which takes two graph-like structures and produces a map** between semantically related nodes. We concentrate on classifications with tree structures. In semantic matching, c...
-
Chapter and Conference Paper
A Large Scale Taxonomy Map** Evaluation
Matching hierarchical structures, like taxonomies or web directories, is the premise for enabling interoperability among heterogenous data organizations. While the number of new matching solutions is increasin...
-
Chapter and Conference Paper
Encoding Classifications into Lightweight Ontologies
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web pages, pictures and any kind ...
-
Chapter and Conference Paper
From Web Directories to Ontologies: Natural Language Processing Challenges
Hierarchical classifications are used pervasively by humans as a means to organize their data and knowledge about the world. One of their main advantages is that natural language labels, used to describe their...
-
Chapter and Conference Paper
Semantic Cooperation and Knowledge Reuse by Using Autonomous Ontologies
Several proposals have been put forward to support distributed agent cooperation in the Semantic Web, by allowing concepts and roles in one ontology be reused in another ontology. In general, these proposals r...
-
Chapter and Conference Paper
ODBASE 2008 PC Co–chairs’ Message
Welcome to the proceedings of the 7th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE 2008) held in Monterrey, Mexico, November 11 – 13, 2008.
-
Chapter
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
Most current attempts to achieve reliable knowledge sharing on a large scale have relied on pre-engineering of content and supply services. This, like traditional knowledge engineering, does not by itself scal...
-
Chapter and Conference Paper
Concept Search
In this paper we present a novel approach, called Concept Search, which extends syntactic search, i.e., search based on the computation of string similarity between words, with semantic search, i.e., search ba...
-
Chapter and Conference Paper
GeoWordNet: A Resource for Geo-spatial Applications
Geo-spatial ontologies provide knowledge about places in the world and spatial relations between them. They are fundamental in order to build semantic information retrieval systems and to achieve semantic inte...
-
Chapter and Conference Paper
A Faceted Ontology for a Semantic Geo-Catalogue
Geo-spatial applications need to provide powerful search capabilities to support users in their daily activities. However, discovery services are often limited by only syntactically matching user terminology t...
-
Article
A Facet-Based Methodology for the Construction of a Large-Scale Geospatial Ontology
We concentrate on geospatial ontologies. Our main contribution in this paper is a methodology and a minimal set of guiding principles, inspired by the faceted approach, as originally developed in library scien...
-
Chapter and Conference Paper
A Distributed Entity Directory
We see the local content from peers organized in directories (i.e., on local ordered lists) containing local representations of entities from the real world (e.g., persons, locations, events). Different local ...
