Description Logics in Ontology Applications

@inproceedings{Horrocks2005DescriptionLI,
  title={Description Logics in Ontology Applications},
  author={Ian Horrocks},
  booktitle={KI},
  year={2005}
}
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information integration), they are perhaps best known as the basis for widely used ontology languages such as OWL (now a W3C recommendation). This decision was motivated by a requirement that key inference problems be decidable, and that it should be possible to provide reasoning services to support ontology design and deployment. Such… CONTINUE READING
Highly Cited
This paper has 27 citations. REVIEW CITATIONS
15 Citations
58 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…