• Publications
  • Influence
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On
Different methods of optimizing the classification process of terminological representation systems are considered, and their effect on three different types of test data is evaluated. Expand
A survey of temporal extensions of description logics
This paper surveys the temporal extensions of description logics appearearing in the literature and considers a large spectrum of approaches – from the loosely coupled approaches – to the most principled ones – which consider a combined semantics for the abstract and the temporal domains. Expand
Specification of a Common Framework for Characterizing Alignment
This report describes various approaches towards this goal and shows the relations between them, and provides a description of the alignment sructure and process. Expand
A Temporal Description Logic for Reasoning about Actions and Plans
The subsumption problem for a class of temporal Description Logics is investigated and sound and complete decision procedures are given. Expand
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
A query language is defined and the problem of checking query containment under the constraints defined by DLRUS conceptual schemas is investigated, as well as the problems of schema satisfiability and logical implication. Expand
Part-Whole Relations in Object-Centered Systems: An Overview
The main thesis of this paper is that the part-whole relation cannot simply be considered as an ordinary attribute: its specific ontological nature requires to be understood and integrated within data-modelling formalisms and methodologies. Expand
Introduction to Semantic Web Ontology Languages
The aim of this chapter is to give a general introduction to some of the ontology languages that play a prominent role on the Semantic Web, and to discuss the formal foundations of these languages.Expand
Effective query rewriting with ontologies over DBoxes
We consider query answering on Description Logic (DL) ontologies with DBoxes, where a DBox is a set of assertions on individuals involving atomic concepts and roles called DBox predicates. TheExpand
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints
A quantitative definition of database fix is introduced, and the complexity of several decision and optimization problems, including DFP, DFP-hardness, but a good approximation algorithm for a relevant special case; and intractability but good approximation for CQA for aggregate queries for one database atom denials (plus built-ins). Expand
Census Data Repair: a Challenging Application of Disjunctive Logic Programming
A correct modular encoding of the problem in the disjunctive logic programming language D LPw, supported by the DLV system, is shown and it turns out that DLPw is very well-suited for this goal. Expand