• Publications
  • Influence
The Description Logic Handbook: Theory, Implementation, and Applications
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 accountExpand
  • 6,699
  • 589
  • PDF
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
  • 2,294
  • 216
  • PDF
Pushing the EL Envelope
Recently, it has been shown that the small description logic (DL) EL, which allows for conjunction and existential restrictions, has better algorithmic properties than its counterpart FL0, whichExpand
  • 1,152
  • 177
  • PDF
Term rewriting and all that
Preface 1. Motivating examples 2. Abstract reduction systems 3. Universal algebra 4. Equational problems 5. Termination 6. Confluence 7. Completion 8. Grobner bases and Buchberger's algorithm 9.Expand
  • 1,806
  • 145
  • PDF
Basic Description Logics
This chapter provides an introduction to Description Logics as a formal language for representing knowledge and reasoning about it. It first gives a short overview of the ideas underlying DescriptionExpand
  • 705
  • 58
  • PDF
A Scheme for Integrating Concrete Domains into Concept Languages
A drawback which concept languages based on KL-ONE have is that all the terminological knowledge has to be defined on an abstract logical level. In many applications, one would like to be able toExpand
  • 458
  • 42
  • PDF
Description Logics as Ontology Languages for the Semantic Web
The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can support the Semantic Web andExpand
  • 483
  • 36
  • PDF
An Overview of Tableau Algorithms for Description Logics
Description logics are a family of knowledge representation formalisms that are descended from semantic networks and frames via the system Kl-one. During the last decade, it has been shown that theExpand
  • 488
  • 30
  • PDF
Pushing the EL Envelope Further
We extend the description logic EL with reflexive roles and range restrictions, and show that subsumption remains tractable if a certain syntactic restriction is adopted. We also show thatExpand
  • 247
  • 27
  • PDF