• Publications
  • Influence
The Description Logic Handbook: Theory, Implementation, and Applications
TLDR
This new edition of The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Expand
The Description Logic Handbook
This introduction presents the main motivations for the development of Description Logics (DLs) as a formalism for representing knowledge, as well as some important basic notions underlying allExpand
AL-log: Integrating Datalog and Description Logics
TLDR
A method for query answering in AL-log based on constrained resolution, where the usual deduction procedure defined for Datalog is integrated with a method for reasoning on the structural knowledge. Expand
Multirobot systems: a classification focused on coordination
TLDR
A survey of the recent work in the area ofMultirobot systems by specifically examining the forms of cooperation and coordination realized in the MRS, and proposes a new taxonomy for classification of the approaches to coordination in MRS. Expand
Description logics of minimal knowledge and negation as failure
TLDR
The usefulness of MKNF-DLs for a formal characterization of a wide variety of nonmonotonic features that are both commonly available inframe-based systems, and needed in the development of practical knowledge-based applications: defaults, integrity constraints, role, and concept closure are shown. Expand
Description Logics for Conceptual Data Modeling
TLDR
A unifying Description Logic is used, which incorporates all the features needed for the logical reformulation of the data models used in the various contexts, and it is demonstrated that several popular data modeling formalisms can be expressed in terms of specific logics of the family. Expand
The Complexity of Concept Languages
TLDR
A complexity analysis of concept satisfiability and subsumption for a wide class of concept languages and algorithms for these inferences that comply with the worst-case complexity of the reasoning task they perform. Expand
An Introduction to Description Logics
This introduction presents the main motivations for the development of Description Logics (DL) as a formalism for representing knowledge, as well as some important basic notions underlying allExpand
Unifying Class-Based Representation Formalisms
TLDR
It is argued that, by virtue of the high expressive power and of the associated reasoning capabilities on both unrestricted and finite models, the proposed logic provides a common core for class-based representation formalisms. Expand
...
1
2
3
4
5
...