On the Properties of Metamodeling in OWL View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2005

AUTHORS

Boris Motik

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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHOIQ}$\end{document} — 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. More... »

PAGES

548-562

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11574620_40

DOI

http://dx.doi.org/10.1007/11574620_40

DIMENSIONS

https://app.dimensions.ai/details/publication/pub.1019598060


Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
Incoming Citations Browse incoming citations for this publication using opencitations.net

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Computation Theory and Mathematics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "FZI Research Center for Information Technologies at the University of Karlsruhe, Karlsruhe, Germany", 
          "id": "http://www.grid.ac/institutes/grid.7892.4", 
          "name": [
            "FZI Research Center for Information Technologies at the University of Karlsruhe, Karlsruhe, Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Motik", 
        "givenName": "Boris", 
        "id": "sg:person.07401076267.36", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2005", 
    "datePublishedReg": "2005-01-01", 
    "description": "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 \\documentclass[12pt]{minimal}\n\t\t\t\t\\usepackage{amsmath}\n\t\t\t\t\\usepackage{wasysym}\n\t\t\t\t\\usepackage{amsfonts}\n\t\t\t\t\\usepackage{amssymb}\n\t\t\t\t\\usepackage{amsbsy}\n\t\t\t\t\\usepackage{mathrsfs}\n\t\t\t\t\\usepackage{upgreek}\n\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\n\t\t\t\t\\begin{document}$\\mathcal{SHOIQ}$\\end{document} \u2014 a description logic underlying OWL-DL \u2014 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.", 
    "editor": [
      {
        "familyName": "Gil", 
        "givenName": "Yolanda", 
        "type": "Person"
      }, 
      {
        "familyName": "Motta", 
        "givenName": "Enrico", 
        "type": "Person"
      }, 
      {
        "familyName": "Benjamins", 
        "givenName": "V. Richard", 
        "type": "Person"
      }, 
      {
        "familyName": "Musen", 
        "givenName": "Mark A.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11574620_40", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-29754-3", 
        "978-3-540-32082-1"
      ], 
      "name": "The Semantic Web \u2013 ISWC 2005", 
      "type": "Book"
    }, 
    "keywords": [
      "Semantic Web ontology languages", 
      "Web Ontology Language", 
      "basic inference problems", 
      "Ontology Language", 
      "conceptual modeling", 
      "description logics", 
      "semantics", 
      "latter semantics", 
      "inference problem", 
      "complex domain", 
      "logical interactions", 
      "alternative semantics", 
      "owls", 
      "metamodeling", 
      "free mixing", 
      "logic", 
      "language", 
      "metaconcepts", 
      "common practice", 
      "model", 
      "undecidability", 
      "modeling", 
      "extensional model", 
      "symbols", 
      "domain", 
      "features", 
      "concept", 
      "practice", 
      "results", 
      "interaction", 
      "properties", 
      "lead", 
      "borderline", 
      "mixing", 
      "paper", 
      "problem", 
      "approach", 
      "OWL-Full", 
      "OWL-Full leads", 
      "metalogical symbols", 
      "HiLog semantics", 
      "Properties of Metamodeling"
    ], 
    "name": "On the Properties of Metamodeling in OWL", 
    "pagination": "548-562", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1019598060"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11574620_40"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11574620_40", 
      "https://app.dimensions.ai/details/publication/pub.1019598060"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:23", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/chapter/chapter_404.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/11574620_40"
  }
]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/11574620_40'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/11574620_40'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/11574620_40'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/11574620_40'


 

This table displays all metadata directly associated to this object as RDF triples.

117 TRIPLES      23 PREDICATES      68 URIs      61 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11574620_40 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Nbcc188f199e149b3a1a8d210026ef69f
4 schema:datePublished 2005
5 schema:datePublishedReg 2005-01-01
6 schema:description 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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{SHOIQ}$\end{document} — 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.
7 schema:editor N4f129898bb0a4613a4747321e6264038
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N7011e4e36c3a40e1a60a199861555c95
12 schema:keywords HiLog semantics
13 OWL-Full
14 OWL-Full leads
15 Ontology Language
16 Properties of Metamodeling
17 Semantic Web ontology languages
18 Web Ontology Language
19 alternative semantics
20 approach
21 basic inference problems
22 borderline
23 common practice
24 complex domain
25 concept
26 conceptual modeling
27 description logics
28 domain
29 extensional model
30 features
31 free mixing
32 inference problem
33 interaction
34 language
35 latter semantics
36 lead
37 logic
38 logical interactions
39 metaconcepts
40 metalogical symbols
41 metamodeling
42 mixing
43 model
44 modeling
45 owls
46 paper
47 practice
48 problem
49 properties
50 results
51 semantics
52 symbols
53 undecidability
54 schema:name On the Properties of Metamodeling in OWL
55 schema:pagination 548-562
56 schema:productId N0447a6b5b6f5467687da089b323ed57e
57 N14c64d8318bc4da89313f5fe493c848f
58 schema:publisher Na3847704ddd748f0b7f7c9b1f4de1e23
59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1019598060
60 https://doi.org/10.1007/11574620_40
61 schema:sdDatePublished 2022-01-01T19:23
62 schema:sdLicense https://scigraph.springernature.com/explorer/license/
63 schema:sdPublisher Nfe9797ec689a4a10a8b838d029f961e1
64 schema:url https://doi.org/10.1007/11574620_40
65 sgo:license sg:explorer/license/
66 sgo:sdDataset chapters
67 rdf:type schema:Chapter
68 N0447a6b5b6f5467687da089b323ed57e schema:name dimensions_id
69 schema:value pub.1019598060
70 rdf:type schema:PropertyValue
71 N07b898af85984f63bf48178e084f123a schema:familyName Motta
72 schema:givenName Enrico
73 rdf:type schema:Person
74 N14c64d8318bc4da89313f5fe493c848f schema:name doi
75 schema:value 10.1007/11574620_40
76 rdf:type schema:PropertyValue
77 N19e823eb8abd45418ce52908de9f3def rdf:first N36980a71010748fd8280c68e065ec0f1
78 rdf:rest rdf:nil
79 N316778a1524e4a0a8a73a8bea6a8c6ef schema:familyName Benjamins
80 schema:givenName V. Richard
81 rdf:type schema:Person
82 N36980a71010748fd8280c68e065ec0f1 schema:familyName Musen
83 schema:givenName Mark A.
84 rdf:type schema:Person
85 N4f129898bb0a4613a4747321e6264038 rdf:first Nf06e1d4730394e79905991fdaa4df466
86 rdf:rest N54532a16067242fe9d78a91fa7f8b561
87 N54532a16067242fe9d78a91fa7f8b561 rdf:first N07b898af85984f63bf48178e084f123a
88 rdf:rest Nb877bff8778949569e3a82e92bb87ea8
89 N7011e4e36c3a40e1a60a199861555c95 schema:isbn 978-3-540-29754-3
90 978-3-540-32082-1
91 schema:name The Semantic Web – ISWC 2005
92 rdf:type schema:Book
93 Na3847704ddd748f0b7f7c9b1f4de1e23 schema:name Springer Nature
94 rdf:type schema:Organisation
95 Nb877bff8778949569e3a82e92bb87ea8 rdf:first N316778a1524e4a0a8a73a8bea6a8c6ef
96 rdf:rest N19e823eb8abd45418ce52908de9f3def
97 Nbcc188f199e149b3a1a8d210026ef69f rdf:first sg:person.07401076267.36
98 rdf:rest rdf:nil
99 Nf06e1d4730394e79905991fdaa4df466 schema:familyName Gil
100 schema:givenName Yolanda
101 rdf:type schema:Person
102 Nfe9797ec689a4a10a8b838d029f961e1 schema:name Springer Nature - SN SciGraph project
103 rdf:type schema:Organization
104 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
105 schema:name Information and Computing Sciences
106 rdf:type schema:DefinedTerm
107 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
108 schema:name Computation Theory and Mathematics
109 rdf:type schema:DefinedTerm
110 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.7892.4
111 schema:familyName Motik
112 schema:givenName Boris
113 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
114 rdf:type schema:Person
115 grid-institutes:grid.7892.4 schema:alternateName FZI Research Center for Information Technologies at the University of Karlsruhe, Karlsruhe, Germany
116 schema:name FZI Research Center for Information Technologies at the University of Karlsruhe, Karlsruhe, Germany
117 rdf:type schema:Organization
 




Preview window. Press ESC to close (or click here)


...