The Description Logic Handbook: Theory, Implementation, and Applications

@article{Baader2003TheDL,
  title={The Description Logic Handbook: Theory, Implementation, and Applications},
  author={Franz Baader and Diego Calvanese and Deborah L. McGuinness and Daniele Nardi and Peter F. Patel-Schneider},
  journal={Kybernetes},
  year={2003},
  volume={32}
}
Description logics are embodied in several knowledge-based systems and are used to develop various real-life applications. Now in paperback, The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Its appeal will be broad, ranging from more theoretically oriented readers, to those with more practically oriented interests who need a sound and modern understanding of knowledge… 
An Introduction to Description Logic
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
Description Logic Programs: A Practical Choice For the Modelling of Ontologies
TLDR
This work will argue that the OWL subset known as Description Logic Programs constitutes a very reasonable choice as a basic ontology representation paradigm for semantic technologies.
Concept learning in description logics using refinement operators
TLDR
This paper provides a learning algorithm based on refinement operators for the description logic ALCQ including support for concrete roles and shows that the approach is superior to other learning approaches on description logics, and is competitive with established ILP systems.
The limits and possibilities of combining Description Logics and Datalog
  • R. Rosati
  • Computer Science
    2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06)
  • 2006
TLDR
This talk presents a set of computational results which identify, from the viewpoint of the expressive abilities of the two formalisms, minimal combinations of Description Logics and (nonmonotonic) Datalog in which reasoning is undecidable.
Description Logics in Ontology Applications
TLDR
This talk will introduce both the logics and decision procedures that underpin modern ontology languages, and the implementation techniques that have enabled state of the art systems to be effective in applications in spite of the high worst case complexity of key inference problems.
Description Logic Programs: Normal Forms
TLDR
This work argues that normal forms for DLP in Description Logic syntax and in Datalog syntax are the most convenient way to define DLP for teaching and dissemination purposes.
Integration Proposal for Description Logic and Attributive Logic - Towards Semantic Web Rules
TLDR
An integration proposal for Description Logics and Attributive Logics is presented and a possible transition from ALSV to DL is introduced, opening up possibilities of using XTT2, a well-founded rule-based system modelling rule language, to improve the design of Semantic Web rules.
Uncertainty Reasoning in Description Logics: A Generic Approach
TLDR
An extension of DL is introduced which unifies and/or generalizes a number of existing approaches for DLs with uncertainty by extending components of the DL framework, i.e., the description language, the knowledge base, and the reasoning services.
A Comparison of Paraconsistent Description Logics
TLDR
It is shown that four existing paraconsistent semantics for PDLs are essentially the same semantics, and two generalized and extended new semantics are introduced, and an equivalence between them is proved.
...
...

References

SHOWING 1-3 OF 3 REFERENCES
Description Logic Terminology F
  • Description Logic Terminology F
A1.2 Syntax and semantics of common Description Logics 496 A1.3 Additional constructors 501
  • A1.2 Syntax and semantics of common Description Logics 496 A1.3 Additional constructors 501
A1.4 A note on the naming scheme for Description Logics 504
  • A1.4 A note on the naming scheme for Description Logics 504