On Adding Inverse Features to the Description Logic View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2014

AUTHORS

David Toman , Grant Weddell

ABSTRACT

We consider how inverse features can be added to the description logic \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CFD}^{\forall}_{nc}$\end{document}, a feature-based dialect with PTIME algorithms for various reasoning tasks over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CFD}^{\forall}_{nc}$\end{document} knowledge bases. We show how a straightforward addition of unqualified inverse features makes the tasks of reasoning about logical consequences and about knowledge base consistency intractable. We then present syntactic restrictions on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CFD}^{\forall}_{nc}$\end{document} knowledge bases that relate to combinations of value restrictions and inverses and to combinations of value restrictions and path functional dependencies, and show how such restrictions lead to PTIME algorithms for both tasks. Finally, we show how the resulting dialect called \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CFDI}^{\forall-}_{nc}$\end{document} can be used to address performance issues relating to relational data sources as well as RDF data sources conforming to DL-Lite\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$^{\mathcal F}_{\mathrm{core}}$\end{document}, a description logic dialect of relevance to the W3C OWL 2 QL profile. More... »

PAGES

587-599

Book

TITLE

PRICAI 2014: Trends in Artificial Intelligence

ISBN

978-3-319-13559-5
978-3-319-13560-1

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-13560-1_47

DOI

http://dx.doi.org/10.1007/978-3-319-13560-1_47

DIMENSIONS

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


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/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Cheriton School of Computer Science, University of Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Cheriton School of Computer Science, University of Waterloo, Canada"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Toman", 
        "givenName": "David", 
        "id": "sg:person.011644611743.11", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Cheriton School of Computer Science, University of Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Cheriton School of Computer Science, University of Waterloo, Canada"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Weddell", 
        "givenName": "Grant", 
        "id": "sg:person.01111756132.29", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2014", 
    "datePublishedReg": "2014-01-01", 
    "description": "We consider how inverse features can be added to the description logic \\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{CFD}^{\\forall}_{nc}$\\end{document}, a feature-based dialect with PTIME algorithms for various reasoning tasks over \\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{CFD}^{\\forall}_{nc}$\\end{document} knowledge bases. We show how a straightforward addition of unqualified inverse features makes the tasks of reasoning about logical consequences and about knowledge base consistency intractable. We then present syntactic restrictions on \\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{CFD}^{\\forall}_{nc}$\\end{document} knowledge bases that relate to combinations of value restrictions and inverses and to combinations of value restrictions and path functional dependencies, and show how such restrictions lead to PTIME algorithms for both tasks. Finally, we show how the resulting dialect called \\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{CFDI}^{\\forall-}_{nc}$\\end{document} can be used to address performance issues relating to relational data sources as well as RDF data sources conforming to DL-Lite\\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 F}_{\\mathrm{core}}$\\end{document}, a description logic dialect of relevance to the W3C OWL 2 QL profile.", 
    "editor": [
      {
        "familyName": "Pham", 
        "givenName": "Duc-Nghia", 
        "type": "Person"
      }, 
      {
        "familyName": "Park", 
        "givenName": "Seong-Bae", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-13560-1_47", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-13559-5", 
        "978-3-319-13560-1"
      ], 
      "name": "PRICAI 2014: Trends in Artificial Intelligence", 
      "type": "Book"
    }, 
    "keywords": [
      "knowledge bases", 
      "description logics", 
      "PTIME algorithms", 
      "OWL 2 QL profile", 
      "relational data sources", 
      "RDF data sources", 
      "path functional dependencies", 
      "value restriction", 
      "data sources", 
      "knowledge base consistency", 
      "description logic dialect", 
      "QL profile", 
      "performance issues", 
      "syntactic restrictions", 
      "functional dependencies", 
      "reasoning tasks", 
      "algorithm", 
      "task", 
      "straightforward addition", 
      "logic", 
      "logical consequence", 
      "such restrictions", 
      "inverse features", 
      "dialects", 
      "inverse", 
      "dependency", 
      "features", 
      "issues", 
      "restriction", 
      "consistency", 
      "combination", 
      "basis", 
      "source", 
      "relevance", 
      "addition", 
      "consequences", 
      "profile", 
      "dl", 
      "feature-based dialect", 
      "unqualified inverse", 
      "base consistency", 
      "logic dialect", 
      "W3C OWL 2 QL profile"
    ], 
    "name": "On Adding Inverse Features to the Description Logic", 
    "pagination": "587-599", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1004144717"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-13560-1_47"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-13560-1_47", 
      "https://app.dimensions.ai/details/publication/pub.1004144717"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:12", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20211201/entities/gbq_results/chapter/chapter_67.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-13560-1_47"
  }
]
 

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/978-3-319-13560-1_47'

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/978-3-319-13560-1_47'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-13560-1_47'

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

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-13560-1_47'


 

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

115 TRIPLES      23 PREDICATES      69 URIs      62 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-13560-1_47 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author Nca6b75ed8c594e3a90ef800aa49a6bd5
4 schema:datePublished 2014
5 schema:datePublishedReg 2014-01-01
6 schema:description We consider how inverse features can be added to the description logic \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CFD}^{\forall}_{nc}$\end{document}, a feature-based dialect with PTIME algorithms for various reasoning tasks over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CFD}^{\forall}_{nc}$\end{document} knowledge bases. We show how a straightforward addition of unqualified inverse features makes the tasks of reasoning about logical consequences and about knowledge base consistency intractable. We then present syntactic restrictions on \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CFD}^{\forall}_{nc}$\end{document} knowledge bases that relate to combinations of value restrictions and inverses and to combinations of value restrictions and path functional dependencies, and show how such restrictions lead to PTIME algorithms for both tasks. Finally, we show how the resulting dialect called \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal{CFDI}^{\forall-}_{nc}$\end{document} can be used to address performance issues relating to relational data sources as well as RDF data sources conforming to DL-Lite\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$^{\mathcal F}_{\mathrm{core}}$\end{document}, a description logic dialect of relevance to the W3C OWL 2 QL profile.
7 schema:editor N733c3222dcab480cb92d110f18dd75a7
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N4dcc0138b2a641ee980cbfd64e116967
12 schema:keywords OWL 2 QL profile
13 PTIME algorithms
14 QL profile
15 RDF data sources
16 W3C OWL 2 QL profile
17 addition
18 algorithm
19 base consistency
20 basis
21 combination
22 consequences
23 consistency
24 data sources
25 dependency
26 description logic dialect
27 description logics
28 dialects
29 dl
30 feature-based dialect
31 features
32 functional dependencies
33 inverse
34 inverse features
35 issues
36 knowledge base consistency
37 knowledge bases
38 logic
39 logic dialect
40 logical consequence
41 path functional dependencies
42 performance issues
43 profile
44 reasoning tasks
45 relational data sources
46 relevance
47 restriction
48 source
49 straightforward addition
50 such restrictions
51 syntactic restrictions
52 task
53 unqualified inverse
54 value restriction
55 schema:name On Adding Inverse Features to the Description Logic
56 schema:pagination 587-599
57 schema:productId N635af99d83924a23a263cbc149333663
58 Nf63966a97722487cb0c6649e6cabd58a
59 schema:publisher Ndbecc6b4d5cd4878afe54855543c51e9
60 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004144717
61 https://doi.org/10.1007/978-3-319-13560-1_47
62 schema:sdDatePublished 2021-12-01T20:12
63 schema:sdLicense https://scigraph.springernature.com/explorer/license/
64 schema:sdPublisher Nddf4ee5a6746413caa27f50350bdb273
65 schema:url https://doi.org/10.1007/978-3-319-13560-1_47
66 sgo:license sg:explorer/license/
67 sgo:sdDataset chapters
68 rdf:type schema:Chapter
69 N4dcc0138b2a641ee980cbfd64e116967 schema:isbn 978-3-319-13559-5
70 978-3-319-13560-1
71 schema:name PRICAI 2014: Trends in Artificial Intelligence
72 rdf:type schema:Book
73 N635af99d83924a23a263cbc149333663 schema:name doi
74 schema:value 10.1007/978-3-319-13560-1_47
75 rdf:type schema:PropertyValue
76 N733c3222dcab480cb92d110f18dd75a7 rdf:first N8f8fc7442e03487f95b1bb6f5a7777a5
77 rdf:rest Nb442d976d38249b9bc002a84eba3cdc0
78 N8f8fc7442e03487f95b1bb6f5a7777a5 schema:familyName Pham
79 schema:givenName Duc-Nghia
80 rdf:type schema:Person
81 Nb442d976d38249b9bc002a84eba3cdc0 rdf:first Ne332bb1cb2034c26abf9f26d7612535b
82 rdf:rest rdf:nil
83 Nca6b75ed8c594e3a90ef800aa49a6bd5 rdf:first sg:person.011644611743.11
84 rdf:rest Nfae01519c2a14f56b4acec213bc60484
85 Ndbecc6b4d5cd4878afe54855543c51e9 schema:name Springer Nature
86 rdf:type schema:Organisation
87 Nddf4ee5a6746413caa27f50350bdb273 schema:name Springer Nature - SN SciGraph project
88 rdf:type schema:Organization
89 Ne332bb1cb2034c26abf9f26d7612535b schema:familyName Park
90 schema:givenName Seong-Bae
91 rdf:type schema:Person
92 Nf63966a97722487cb0c6649e6cabd58a schema:name dimensions_id
93 schema:value pub.1004144717
94 rdf:type schema:PropertyValue
95 Nfae01519c2a14f56b4acec213bc60484 rdf:first sg:person.01111756132.29
96 rdf:rest rdf:nil
97 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
98 schema:name Information and Computing Sciences
99 rdf:type schema:DefinedTerm
100 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
101 schema:name Artificial Intelligence and Image Processing
102 rdf:type schema:DefinedTerm
103 sg:person.01111756132.29 schema:affiliation grid-institutes:grid.46078.3d
104 schema:familyName Weddell
105 schema:givenName Grant
106 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29
107 rdf:type schema:Person
108 sg:person.011644611743.11 schema:affiliation grid-institutes:grid.46078.3d
109 schema:familyName Toman
110 schema:givenName David
111 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11
112 rdf:type schema:Person
113 grid-institutes:grid.46078.3d schema:alternateName Cheriton School of Computer Science, University of Waterloo, Canada
114 schema:name Cheriton School of Computer Science, University of Waterloo, Canada
115 rdf:type schema:Organization
 




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


...