Can OWL and Logic Programming Live Together Happily Ever After? View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2006

AUTHORS

Boris Motik , Ian Horrocks , Riccardo Rosati , Ulrike Sattler

ABSTRACT

Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible with the closed-world semantics of LP. This has sparked a heated debate in the Semantic Web community, resulting in proposals for alternative ontology languages based entirely on logic programming. To help resolving this debate, we investigate the practical use cases which seem to be addressed by logic programming. In fact, many of these requirements have already been addressed outside the Semantic Web. By drawing inspiration from these existing formalisms, we present a novel logic of hybrid MKNF knowledge bases, which seamlessly integrates OWL with LP. We are thus capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web. More... »

PAGES

501-514

Book

TITLE

The Semantic Web - ISWC 2006

ISBN

978-3-540-49029-6
978-3-540-49055-5

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/11926078_36

DOI

http://dx.doi.org/10.1007/11926078_36

DIMENSIONS

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


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/22", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy and Religious Studies", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2203", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Philosophy", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "University of Manchester, Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "University of Manchester, Manchester, UK"
          ], 
          "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"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Manchester, Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "University of Manchester, Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Horrocks", 
        "givenName": "Ian", 
        "id": "sg:person.013100561643.19", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013100561643.19"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Rome, Italy", 
          "id": "http://www.grid.ac/institutes/grid.7841.a", 
          "name": [
            "Universit\u00e0 di Roma \u201cLa Sapienza\u201d, Rome, Italy"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Rosati", 
        "givenName": "Riccardo", 
        "id": "sg:person.016326011556.53", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016326011556.53"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Manchester, Manchester, UK", 
          "id": "http://www.grid.ac/institutes/grid.5379.8", 
          "name": [
            "University of Manchester, Manchester, UK"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Sattler", 
        "givenName": "Ulrike", 
        "id": "sg:person.015322100453.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322100453.31"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2006", 
    "datePublishedReg": "2006-01-01", 
    "description": "Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible with the closed-world semantics of LP. This has sparked a heated debate in the Semantic Web community, resulting in proposals for alternative ontology languages based entirely on logic programming. To help resolving this debate, we investigate the practical use cases which seem to be addressed by logic programming. In fact, many of these requirements have already been addressed outside the Semantic Web. By drawing inspiration from these existing formalisms, we present a novel logic of hybrid MKNF knowledge bases, which seamlessly integrates OWL with LP. We are thus capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web.", 
    "editor": [
      {
        "familyName": "Cruz", 
        "givenName": "Isabel", 
        "type": "Person"
      }, 
      {
        "familyName": "Decker", 
        "givenName": "Stefan", 
        "type": "Person"
      }, 
      {
        "familyName": "Allemang", 
        "givenName": "Dean", 
        "type": "Person"
      }, 
      {
        "familyName": "Preist", 
        "givenName": "Chris", 
        "type": "Person"
      }, 
      {
        "familyName": "Schwabe", 
        "givenName": "Daniel", 
        "type": "Person"
      }, 
      {
        "familyName": "Mika", 
        "givenName": "Peter", 
        "type": "Person"
      }, 
      {
        "familyName": "Uschold", 
        "givenName": "Mike", 
        "type": "Person"
      }, 
      {
        "familyName": "Aroyo", 
        "givenName": "Lora M.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/11926078_36", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-49029-6", 
        "978-3-540-49055-5"
      ], 
      "name": "The Semantic Web - ISWC 2006", 
      "type": "Book"
    }, 
    "keywords": [
      "logic programming", 
      "Semantic Web", 
      "Ontology Language", 
      "use cases", 
      "open-world semantics", 
      "closed-world semantics", 
      "Semantic Web community", 
      "Web Ontology Language", 
      "hybrid MKNF knowledge bases", 
      "practical use cases", 
      "Web community", 
      "integrity constraints", 
      "knowledge bases", 
      "novel logic", 
      "programming", 
      "semantics", 
      "owls", 
      "Web", 
      "language", 
      "querying", 
      "architecture", 
      "logic", 
      "constraints", 
      "requirements", 
      "proposal", 
      "shortcomings", 
      "formalism", 
      "way", 
      "inspiration", 
      "radical change", 
      "community", 
      "fact", 
      "heated debate", 
      "cases", 
      "basis", 
      "debate", 
      "inability", 
      "changes", 
      "closed-world querying", 
      "alternative ontology languages", 
      "MKNF knowledge bases"
    ], 
    "name": "Can OWL and Logic Programming Live Together Happily Ever After?", 
    "pagination": "501-514", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1043871556"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/11926078_36"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/11926078_36", 
      "https://app.dimensions.ai/details/publication/pub.1043871556"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:10", 
    "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_182.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/11926078_36"
  }
]
 

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/11926078_36'

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/11926078_36'

Turtle is a human-readable linked data format.

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

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

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


 

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

160 TRIPLES      23 PREDICATES      67 URIs      60 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/11926078_36 schema:about anzsrc-for:22
2 anzsrc-for:2203
3 schema:author Nc77e08b574f54271a8adbb1b45056988
4 schema:datePublished 2006
5 schema:datePublishedReg 2006-01-01
6 schema:description Logic programming (LP) is often seen as a way to overcome several shortcomings of the Web Ontology Language (OWL), such as the inability to model integrity constraints or perform closed-world querying. However, the open-world semantics of OWL seems to be fundamentally incompatible with the closed-world semantics of LP. This has sparked a heated debate in the Semantic Web community, resulting in proposals for alternative ontology languages based entirely on logic programming. To help resolving this debate, we investigate the practical use cases which seem to be addressed by logic programming. In fact, many of these requirements have already been addressed outside the Semantic Web. By drawing inspiration from these existing formalisms, we present a novel logic of hybrid MKNF knowledge bases, which seamlessly integrates OWL with LP. We are thus capable of addressing the identified use cases without a radical change in the architecture of the Semantic Web.
7 schema:editor Ne4e9248a36b544d4a37dd139e3626c08
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree true
11 schema:isPartOf N61aa3a2bdc2247b7b5db466eb04a3537
12 schema:keywords MKNF knowledge bases
13 Ontology Language
14 Semantic Web
15 Semantic Web community
16 Web
17 Web Ontology Language
18 Web community
19 alternative ontology languages
20 architecture
21 basis
22 cases
23 changes
24 closed-world querying
25 closed-world semantics
26 community
27 constraints
28 debate
29 fact
30 formalism
31 heated debate
32 hybrid MKNF knowledge bases
33 inability
34 inspiration
35 integrity constraints
36 knowledge bases
37 language
38 logic
39 logic programming
40 novel logic
41 open-world semantics
42 owls
43 practical use cases
44 programming
45 proposal
46 querying
47 radical change
48 requirements
49 semantics
50 shortcomings
51 use cases
52 way
53 schema:name Can OWL and Logic Programming Live Together Happily Ever After?
54 schema:pagination 501-514
55 schema:productId N131590daa45849f7950e8fef70b972f5
56 N8134bac80dba4343a3632168ae5fa8ab
57 schema:publisher N1972d30d07454659bc521e3ebadd13dd
58 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043871556
59 https://doi.org/10.1007/11926078_36
60 schema:sdDatePublished 2022-01-01T19:10
61 schema:sdLicense https://scigraph.springernature.com/explorer/license/
62 schema:sdPublisher N4ea1ffee6c054454ba626f3776eb915d
63 schema:url https://doi.org/10.1007/11926078_36
64 sgo:license sg:explorer/license/
65 sgo:sdDataset chapters
66 rdf:type schema:Chapter
67 N03f3ea038743469a87049f222fa60409 rdf:first sg:person.015322100453.31
68 rdf:rest rdf:nil
69 N07bcc43ff3324eddb3236ce68eaace95 rdf:first Nbbf7a278571940b080eff05f5600f3c9
70 rdf:rest N7332bddd6704440faea614488f8515f3
71 N0c6aed43a44743a6bbdcc62edb4da9b4 schema:familyName Decker
72 schema:givenName Stefan
73 rdf:type schema:Person
74 N131590daa45849f7950e8fef70b972f5 schema:name doi
75 schema:value 10.1007/11926078_36
76 rdf:type schema:PropertyValue
77 N1972d30d07454659bc521e3ebadd13dd schema:name Springer Nature
78 rdf:type schema:Organisation
79 N1b9cff800c88410dbcbb834489226679 rdf:first sg:person.013100561643.19
80 rdf:rest Nf4dd25d58b474254b57b6eea7eccf269
81 N1bd9a73587f34cf182e894bd8fe8dab6 rdf:first N4478bfbd1d3848b99b5fd7aae08aa3b8
82 rdf:rest Nb953b27ac5b24344b1560e91774305e0
83 N1e62a30d08524c0a8d76ea0b826a2eed rdf:first N4f0c0b7062844818b2a30960cd36ab8e
84 rdf:rest N07bcc43ff3324eddb3236ce68eaace95
85 N4478bfbd1d3848b99b5fd7aae08aa3b8 schema:familyName Allemang
86 schema:givenName Dean
87 rdf:type schema:Person
88 N4ea1ffee6c054454ba626f3776eb915d schema:name Springer Nature - SN SciGraph project
89 rdf:type schema:Organization
90 N4f0c0b7062844818b2a30960cd36ab8e schema:familyName Mika
91 schema:givenName Peter
92 rdf:type schema:Person
93 N5f59d9804bac4bffa237e3c51d21251a rdf:first Nec20e704a0c441209c840651994ac331
94 rdf:rest N1e62a30d08524c0a8d76ea0b826a2eed
95 N61aa3a2bdc2247b7b5db466eb04a3537 schema:isbn 978-3-540-49029-6
96 978-3-540-49055-5
97 schema:name The Semantic Web - ISWC 2006
98 rdf:type schema:Book
99 N7332bddd6704440faea614488f8515f3 rdf:first N7a3251beb52e46b7baa84e30346321c5
100 rdf:rest rdf:nil
101 N7a3251beb52e46b7baa84e30346321c5 schema:familyName Aroyo
102 schema:givenName Lora M.
103 rdf:type schema:Person
104 N8134bac80dba4343a3632168ae5fa8ab schema:name dimensions_id
105 schema:value pub.1043871556
106 rdf:type schema:PropertyValue
107 Na28a52a5f49d496fa709c2218bc0223a schema:familyName Cruz
108 schema:givenName Isabel
109 rdf:type schema:Person
110 Nb20d400932b4494caef76f9b35c0d351 rdf:first N0c6aed43a44743a6bbdcc62edb4da9b4
111 rdf:rest N1bd9a73587f34cf182e894bd8fe8dab6
112 Nb458380430ad40718d9d74bb31d0ce7c schema:familyName Preist
113 schema:givenName Chris
114 rdf:type schema:Person
115 Nb953b27ac5b24344b1560e91774305e0 rdf:first Nb458380430ad40718d9d74bb31d0ce7c
116 rdf:rest N5f59d9804bac4bffa237e3c51d21251a
117 Nbbf7a278571940b080eff05f5600f3c9 schema:familyName Uschold
118 schema:givenName Mike
119 rdf:type schema:Person
120 Nc77e08b574f54271a8adbb1b45056988 rdf:first sg:person.07401076267.36
121 rdf:rest N1b9cff800c88410dbcbb834489226679
122 Ne4e9248a36b544d4a37dd139e3626c08 rdf:first Na28a52a5f49d496fa709c2218bc0223a
123 rdf:rest Nb20d400932b4494caef76f9b35c0d351
124 Nec20e704a0c441209c840651994ac331 schema:familyName Schwabe
125 schema:givenName Daniel
126 rdf:type schema:Person
127 Nf4dd25d58b474254b57b6eea7eccf269 rdf:first sg:person.016326011556.53
128 rdf:rest N03f3ea038743469a87049f222fa60409
129 anzsrc-for:22 schema:inDefinedTermSet anzsrc-for:
130 schema:name Philosophy and Religious Studies
131 rdf:type schema:DefinedTerm
132 anzsrc-for:2203 schema:inDefinedTermSet anzsrc-for:
133 schema:name Philosophy
134 rdf:type schema:DefinedTerm
135 sg:person.013100561643.19 schema:affiliation grid-institutes:grid.5379.8
136 schema:familyName Horrocks
137 schema:givenName Ian
138 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013100561643.19
139 rdf:type schema:Person
140 sg:person.015322100453.31 schema:affiliation grid-institutes:grid.5379.8
141 schema:familyName Sattler
142 schema:givenName Ulrike
143 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015322100453.31
144 rdf:type schema:Person
145 sg:person.016326011556.53 schema:affiliation grid-institutes:grid.7841.a
146 schema:familyName Rosati
147 schema:givenName Riccardo
148 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016326011556.53
149 rdf:type schema:Person
150 sg:person.07401076267.36 schema:affiliation grid-institutes:grid.5379.8
151 schema:familyName Motik
152 schema:givenName Boris
153 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07401076267.36
154 rdf:type schema:Person
155 grid-institutes:grid.5379.8 schema:alternateName University of Manchester, Manchester, UK
156 schema:name University of Manchester, Manchester, UK
157 rdf:type schema:Organization
158 grid-institutes:grid.7841.a schema:alternateName Università di Roma “La Sapienza”, Rome, Italy
159 schema:name Università di Roma “La Sapienza”, Rome, Italy
160 rdf:type schema:Organization
 




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


...