Share This Author
The Description Logic Handbook: Theory, Implementation, and Applications
- F. Baader, Diego Calvanese, D. McGuinness, D. Nardi, P. Patel-Schneider
- Computer ScienceDescription Logic Handbook
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.
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 all…
The description logic handbook: theory
AL-log: Integrating Datalog and Description Logics
- F. M. Donini, M. Lenzerini, D. Nardi, Andrea Schaerf
- Computer ScienceJournal of Intelligent Information Systems
- 1 June 1998
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.
Multirobot systems: a classification focused on coordination
- A. Farinelli, L. Iocchi, D. Nardi
- Computer ScienceIEEE Transactions on Systems, Man, and…
- 1 October 2004
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.
Description logics of minimal knowledge and negation as failure
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.
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 all…
Reasoning in description logics
Techniques for reasoning and computational complex problems in Description Logics are surveyed, including reasoning with plain concept expressions, reasoning with instances of concepts, and reasoning with axioms.
Description Logics for Conceptual Data Modeling
- Diego Calvanese, M. Lenzerini, D. Nardi
- Computer ScienceLogics for Databases and Information Systems
- 26 March 1998
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.
The Complexity of Concept Languages
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.