On the properties of metamodeling in OWL

Boris Motik

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    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 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. © Springer-Verlag Berlin Heidelberg 2005.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    Pages548-562
    Number of pages14
    Volume3729
    Publication statusPublished - 2005
    Event4th International Semantic Web Conference, ISWC 2005 - Galway
    Duration: 1 Jul 2005 → …

    Conference

    Conference4th International Semantic Web Conference, ISWC 2005
    CityGalway
    Period1/07/05 → …

    Fingerprint

    Dive into the research topics of 'On the properties of metamodeling in OWL'. Together they form a unique fingerprint.

    Cite this