Abstract
A common practice in conceptual modeling is to separate the intensional from the extensional model. Although very intuitive, this approach is inadequate for many complex domains, where the borderline between the two models is not clear-cut. Therefore, OWL-Full, the most expressive of the Semantic Web ontology languages, allows combining the intensional and the extensional model by a feature we refer to as metamodeling. In this paper, we show that the semantics of metamodeling adopted in OWL-Full leads to undecidability of basic inference problems, due to free mixing of logical and metalogical symbols. Based on this result, we propose two alternative semantics for metamodeling: the contextual and the HiLog semantics. We show that \(\mathcal{SHOIQ}\) — a description logic underlying OWL-DL — extended with metamodeling under either semantics is decidable. Finally, we show how the latter semantics can be used in practice to axiomatize the logical interaction between concepts and metaconcepts.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Cambridge University Press, Cambridge (2003)
Bachmair, L., Ganzinger, H., Lynch, C., Snyder, W.: Basic Paramodulation. Information and Computation 121(2), 172–192 (1995)
Berger, R.: The undecidability of the dominoe problem. Memoirs of the American Mathematical Society 66 (1966)
Chen, W., Kifer, M., Warren, D.S.: HILOG: a foundation for higher-order logic programming. Journal of Logic Programming 15(3), 187–230 (1993)
Horrocks, I., Patel-Schneider, P.F.: Three Theses of Representation in the Semantic Web. In: Proc. WWW 2003, pp. 39–47. ACM, New York (2003)
Horrocks, I., Patel-Schneider, P.F.: A Proposal for an OWL Rules Language. In: Proc. WWW 2004. ACM, New York (2004)
Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Description Logics. Logic Journal of the IGPL 8(3), 239–263 (2000)
Horrocks, I., Sattler, U., Tobies, S.: Reasoning with Individuals for the Description Logic \({\mathcal SHIQ}\). In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol. 1831, pp. 482–496. Springer, Heidelberg (2000)
Hustadt, U., Motik, B., Sattler, U.: Reasoning for Description Logics around \({\mathcal SHIQ}\) in a Resolution Framework. Technical Report 3-8-04/04, FZI, Karlsruhe, Germany (April 2004), http://www.fzi.de/ipe/publikationen.php?id=1172
Hustadt, U., Motik, B., Sattler, U.: Reducing \({\mathcal SHIQ}^{-}\) Description Logic to Disjunctive Datalog Programs. In: Proc. KR 2004, June 2004, pp. 152–162. AAAI Press, Menlo Park (2004)
Nonnengart, A., Weidenbach, C.: Computing Small Clause Normal Forms. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. I, ch. 6, pp. 335–367. Elsevier Science, Amsterdam (2001)
Pacholski, L., Szwast, W., Tendera, L.: Complexity Results for First-Order Two-Variable Logic with Counting. SIAM Journal on Computing 29(4), 1083–1117 (2000)
Pan, J., Horrocks, I.: RDFS(FA) and RDF MT: Two Semantics for RDFS. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 30–46. Springer, Heidelberg (2003)
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language; Semantics and Abstract Syntax (2002), http://www.w3.org/TR/owl-semantics/
Schreiber, G.: The Web is not well-formed. IEEE Intelligent Systems 17(2), 79–80 (2002); Staab, S. (ed.): Contribution to the section Trends & Controversies: Ontologies KISSES in Standardization
Welty, C., Ferrucci, D.: What’s in an instance? Technical Report 94-18, Max-Planck-Institut, RPI Computer Science (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Motik, B. (2005). On the Properties of Metamodeling in OWL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds) The Semantic Web – ISWC 2005. ISWC 2005. Lecture Notes in Computer Science, vol 3729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11574620_40
Download citation
DOI: https://doi.org/10.1007/11574620_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29754-3
Online ISBN: 978-3-540-32082-1
eBook Packages: Computer ScienceComputer Science (R0)