• Publications
  • Influence
The DL-Lite Family and Relations
This article carries out a thorough and systematic investigation of inference in extensions of the original DL-Lite logics along five axes, by adding the Boolean connectives and number restrictions to concept constructs and adopting or dropping the unique name assumption. Expand
Representing and reasoning over a taxonomy of part-whole relations
A formal taxonomy of types of mereological and meronymic part-whole relations is presented that distinguishes between transitive and intransitive relations and the kind of entity types that are related. 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
Reasoning over Extended ER Models
The lower complexity bound results are proved by direct reductions, while the upper bounds follow from the correspondences with expressive variants of the description logic DL-Lite, which are established in this paper. Expand
Temporalising Tractable Description Logics
It is known that for temporal languages, such as first-order LTL, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal description logics asExpand
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
Temporal Description Logic for Ontology-Based Data Access
A temporal description logic, TQL, is designed that extends the standard ontology language OWL 2 QL, provides basic means for temporal conceptual modelling and ensures first-order rewritability of conjunctive queries for suitably defined data instances with validity time. 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
Evolving objects in temporal information systems
The proposed formalization is meant both to clarify the meaning of the various temporal constructors that appeared in the literature and to give a rigorous definition, in the context of temporal information systems, to notions like satisfiability, subsumption 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