Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
We propose a new family of description logics (DLs), called DL-Lite, specifically tailored to
capture basic ontology languages, while keeping low complexity of reasoning. Reasoning …
capture basic ontology languages, while keeping low complexity of reasoning. Reasoning …
The MASTRO system for ontology-based data access
In this paper we present MASTRO, a Java tool for ontology-based data access (OBDA)
developed at Sapienza Università di Roma and at the Free University of Bozen-Bolzano …
developed at Sapienza Università di Roma and at the Free University of Bozen-Bolzano …
Ontologies and Databases: The DL-Lite Approach
Ontologies provide a conceptualization of a domain of interest. Nowadays, they are typically
represented in terms of Description Logics (DLs), and are seen as the key technology used …
represented in terms of Description Logics (DLs), and are seen as the key technology used …
Evolution of DL − Lite Knowledge Bases
We study the problem of evolution for Knowledge Bases (KBs) expressed in Description
Logics (DLs) of the DL− Lite family. DL− Lite is at the basis of OWL 2 QL, one of the tractable …
Logics (DLs) of the DL− Lite family. DL− Lite is at the basis of OWL 2 QL, one of the tractable …
Beyond soundness: on the verification of semantic business process models
The verification of control-flow soundness is well understood as an important step before
deploying business process models. However, the control flow does not capture what the …
deploying business process models. However, the control flow does not capture what the …
Five challenges for the semantic sensor web
O Corcho, R García-Castro - Semantic Web, 2010 - content.iospress.com
The combination of sensor networks with the Web, web services and database technologies,
was named some years ago as the Sensor Web or the Sensor Internet. Most efforts in this …
was named some years ago as the Sensor Web or the Sensor Internet. Most efforts in this …
A fine-grained approach to resolving unsatisfiable ontologies
The ability to deal with inconsistencies and to evaluate the impact of possible solutions for
resolving inconsistencies are of the utmost importance in real world ontology applications …
resolving inconsistencies are of the utmost importance in real world ontology applications …
[PDF][PDF] Semantic business process validation
The use of formal semantics for the support of Business Process Management is an
emerging branch of research, with substantial economic potential. In particular, business …
emerging branch of research, with substantial economic potential. In particular, business …
On compliance checking for clausal constraints in annotated process models
Compliance management is important in several industry sectors where there is a high
incidence of regulatory control. It must be ensured that business practices, as reflected in …
incidence of regulatory control. It must be ensured that business practices, as reflected in …
On instance-level update and erasure in description logic ontologies
Abstract A Description Logic (DL) ontology is constituted by two components, a TBox that
expresses general knowledge about the concepts and their relationships, and an ABox that …
expresses general knowledge about the concepts and their relationships, and an ABox that …