Abstract
In the area of Description Logic (DL) based knowledge representation, hybrid terminologies have been proposed as a means to make non-standard inference services available to knowledge bases that contain general concept inclusion (GCI) axioms. Building on existing work on subsumption in hybrid terminologies, the present paper provides the first in-depth investigation of the non-standard inferences least-common subsumer, and matching in hybrid \(\mathcal{EL}\)-TBoxes; providing sound and complete algorithms for both inference services.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Nardi, D., Brachmann, R.J.: An introduction to description logics. In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 1–40. Cambridge University Press, Cambridge (2003)
Rector, A., Nowlan, W., Glowinski, A.: Goals for concept representation in the galen project. In: Proc. of SCAMC, Washington, USA, pp. 414–418 (1993)
Rector, A.: Medical informatics. In: The Description Logic Handbook: Theory, Implementation, and Applications, pp. 406–426. Cambridge University Press, Cambridge (2003)
Horrocks, I., Rector, A.L., Goble, C.A.: A description logic based schema for the classification of medical data. In: Proc. of KRDB 1996 (1996)
Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Proc. of KR 1998, pp. 636–645. Morgan-Kaufmann Publishers, San Francisco (1998)
Haarslev, V., Möller, R.: Racer system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701–712. Springer, Heidelberg (2001)
Sirin, E., Parsia, B.: Pellet: An OWL DL reasoner. In: Proc. of DL 2004. CEUR-WS (2004) Proceedings (2004), http://CEUR-WS.org/Vol-104/
Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL—a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 287–291. Springer, Heidelberg (2006)
Cohen, W.W., Borgida, A., Hirsh, H.: Computing least common subsumers in description logics. In: Proc. of AAAI 1992, pp. 754–760. The MIT Press, USA (1992)
Cohen, W.W., Hirsh, H.: The learnability of description logics with equality constraints. Machine Learning 17(2/3), 169–199 (1994) Special Issue for COLT 1992.
Frazier, M., Pitt, L.: CLASSIC learning. Machine Learning 25, 151–193 (1996) Was in COLT 1994.
Baader, F., Küsters, R.: Computing the least common subsumer and the most specific concept in the presence of cyclic \(\mathcal{ALN}\)-concept descriptions. In: Herzog, O. (ed.) KI 1998. LNCS (LNAI), vol. 1504, pp. 129–140. Springer, Heidelberg (1998)
McGuinness, D.: Explaining Reasoning in Description Logics. Ph.D. dissertation, Department of Computer Science, Rutgers University, USA (1996)
Borgida, A., McGuinness, D.L.: Asking queries about frames. In: Proc. of KR 1996, pp. 340–349. Morgan-Kaufmann Publishers, San Francisco (1996)
Baader, F., Küsters, R., Borgida, A., McGuinness, D.: Matching in description logics. Journal of Logic and Computation 9(3), 411–447 (1999)
Baader, F., Küsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proc. of IJCAI 1999, pp. 96–101. Morgan-Kaufmann Publishers, San Francisco (1999)
Brandt, S., Turhan, A.Y.: Using non-standard inferences in description logics — what does it buy me? In: Proc. of KIDLWS 2001. CEUR-WS (September 2001), Proceedings online available from http://CEUR-WS.org/Vol-44/
Baader, F.: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In: Proc. of IJCAI 2003, pp. 319–324. Morgan-Kaufmann Publishers, San Francisco (2003)
Brandt, S., Model, J.: Subsumption in \(\cal EL\) w.r.t. hybrid TBoxes. In: Furbach, U. (ed.) KI 2005. LNCS (LNAI), vol. 3698, pp. 34–48. Springer, Heidelberg (2005)
Brandt, S.: Matching and general concept inclusion axioms. Technical report (2007), See http://personalpages.manchester.ac.uk/staff/Sebastian-philipp.Brandt/tr0707.pdf
Baader, F.: Terminological cycles in a description logic with existential restrictions. In: Proc. of IJCAI 2003, pp. 325–330. Morgan-Kaufmann Publishers, San Francisco (2003)
Nebel, B.: Terminological cycles: Semantics and computational properties. In: Proc. of Principles of Semantic Networks, pp. 331–361. Morgan Kaufmann, San Francisco (1991)
Tarski, A.: A lattice-theoretic fixpoint theorem and its applications. Pacific Journal of Mathematics 5(2), 285–309 (1955)
Baader, F., Küsters, R.: Matching in description logics with existential restrictions. In: Proc. of KR 2000, pp. 261–272. Morgan-Kaufmann Publishers, San Francisco (2000)
Küsters, R.: Non-Standard Inferences in Description Logics. In: Küsters, R. (ed.) Non-Standard Inferences in Description Logics. LNCS (LNAI), vol. 2100, Springer, Heidelberg (2001)
Baader, F.: A graph-theoretic generalization of the least common subsumer and the most specific concept in the description logic \(\mathcal{EL}\). In: Hromkovič, J., Nagl, M., Westfechtel, B. (eds.) WG 2004. LNCS, vol. 3353, pp. 177–188. Springer, Heidelberg (2004)
Côté, R., Rothwell, D., Palotay, J., Beckett, R., Brochu, L.: The systematized nomenclature of human and veterinary medicine. Technical report, Snomed International, Northfield, IL (1993)
Spackman, K.: Normal forms for description logic expressions of clinical concepts in snomed rt. Journal of the American Medical Informatics Association (Symposium Supplement) (2001)
Consortium, T.G.O.: Gene Ontology: Tool for the unification of biology. Nature Genetics 25, 25–29 (2000)
Rector, A., Bechhofer, S., Goble, C.A., Horrocks, I., Nowlan, W.A., Solomon, W.D.: The grail concept modelling language for medical terminology. Artificial Intelligence in Medicine 9, 139–171 (1997)
International council of Nurses, Geneva, CH, See http://www.icn.ch/icnp.html
Horridge, M., Tsarkov, D., Redmond, T.: Supporting early adoption of OWL 1.1 with Protege-OWL and FaCT++. In: Proc. of OWL-ED 2006 (2006)
Turhan, A.Y.: Pushing the SONIC border—SONIC 1.0. In: Proc. of FTP 2005. Technical Report, University of Koblenz (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brandt, S. (2007). Matching in Hybrid Terminologies. In: Dershowitz, N., Voronkov, A. (eds) Logic for Programming, Artificial Intelligence, and Reasoning. LPAR 2007. Lecture Notes in Computer Science(), vol 4790. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75560-9_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-75560-9_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75558-6
Online ISBN: 978-3-540-75560-9
eBook Packages: Computer ScienceComputer Science (R0)