Abstract
Description logic denotes a family of knowledge representation formalisms that model the application domain by defining the relevant concepts of the domain and then using these concepts to specify properties of objects and individuals occurring in the domain (Baader and Nutt 2003). As the name implies, research on description logic emphasizes a careful formalization of the notions involved, and a preoccupation with precisely defined reasoning techniques. Note that we prefer the singular form, description logic, rather than the plural form, description logics, in spite of the fact that we are talking about a family of formalisms.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F.; Calvanese, D.; McGuiness, D.L.; Nardi, D.; Patel-Schneider, P.F. (Eds.) (2003) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, UK.
Baader, F.; Nutt, W. (2003) Basic description logics. In: Baader, F.; Calvanese, D.; McGuiness, D.L.; Nardi, D.; Patel-Schneider, P.F. (Eds) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, UK.
Borgida, A.; Brachman, R.J. (2003) Conceptual Modeling with Description Logics. In: Baader, F.; Calvanese, D.; McGuiness, D.L.; Nardi, D.; Patel-Schneider, P.F. (Eds) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge, UK.
Brachman, R.J.; Levesque, H.J. (Eds.) (1985) Readings in Knowledge Representation. Morgan Kaufmann, Los Altos, CA, USA.
Brachman, R.J.; McGuinness, D.L.; Patel-Schneider, P.F.; Resnick, L.A.; Borgida, A. (1991) Living with CLASSIC: When and how to use a KL-ONE-like language. In: Sowa, J.F. (Eds) Principles of Semantic Networks. Morgan Kaufmann, Los Altos, CA, USA, pp. 401–456.
Brachman, R.J.; Levesque, H.J. (2004) Knowledge Representation and Reasoning. Morgan Kaufmann, Los Altos, CA, USA.
Haarslev, V.; Moller, R. (2001) RACER system description. In: Proceedings of the Sixth International Joint Conference on Automated Reasoning, Siena, Italy. Lecture Notes in Computer Science, Vol. 2083. Springer-Verlag, Berlin, Germany, pp. 701–705.
Horracks, I. (1998) Using an expressive description logic: FaCT or fiction? In: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning, pp. 636–647.
Horracks, I. (2003) The FaCT System. Available at: ttp://www.cs.man.ac.uk/~horrocks/FaCT/
Huth, M.; Ryan, M. (2004) Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge, UK.
Nardi, D.; Brachman, R.J. (2003) An introduction to description logics. In: Baader, F.; Calvanese, D.; McGuiness, D.L.; Nardi, D.; Patel-Schneider, P.F. (Eds) The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University. Press, Cambridge, UK.
Nebel, B.; van Luck, K. (1988) Hybrid reasoning in BACK. In: Proceedings of the Third International Symposium on Methodologies for Intelligent Systems, pp. 260–269.
Rights and permissions
Copyright information
© 2007 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2007). Knowledge Representation in Description Logic. In: Semantic Web: Concepts, Technologies and Applications. NASA Monographs in Systems and Software Engineering. Springer, London. https://doi.org/10.1007/978-1-84628-710-7_3
Download citation
DOI: https://doi.org/10.1007/978-1-84628-710-7_3
Publisher Name: Springer, London
Print ISBN: 978-1-84628-581-3
Online ISBN: 978-1-84628-710-7
eBook Packages: Computer ScienceComputer Science (R0)