On Partial Features in the Family of Description Logics View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2016-08-10

AUTHORS

David Toman , Grant Weddell

ABSTRACT

The \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{DLF}$$\end{document} family of description logics are fragments of first order logic with underlying signatures based on unary predicate symbols, called atomic concepts, and unary function symbols interpreted as total functions, called features. We show how computational properties relating to a key reasoning service for dialects of this family are preserved when (a) unary function symbols are now interpreted as partial functions, and when (b) a concept constructor is admitted that can characterize circumstances in which partial functions become total. More... »

PAGES

529-542

Book

TITLE

PRICAI 2016: Trends in Artificial Intelligence

ISBN

978-3-319-42910-6
978-3-319-42911-3

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-319-42911-3_44

DOI

http://dx.doi.org/10.1007/978-3-319-42911-3_44

DIMENSIONS

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


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": "Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Cheriton School of Computer Science, University of Waterloo, 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, Waterloo, Canada", 
          "id": "http://www.grid.ac/institutes/grid.46078.3d", 
          "name": [
            "Cheriton School of Computer Science, University of Waterloo, 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": "2016-08-10", 
    "datePublishedReg": "2016-08-10", 
    "description": "The \\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{DLF}$$\\end{document} family of description logics are fragments of first order logic with underlying signatures based on unary predicate symbols, called atomic concepts, and unary function symbols interpreted as total functions, called features. We show how computational properties relating to a key reasoning service for dialects of this family are preserved when (a) unary function symbols are now interpreted as partial functions, and when (b) a concept constructor is admitted that can characterize circumstances in which partial functions become total.", 
    "editor": [
      {
        "familyName": "Booth", 
        "givenName": "Richard", 
        "type": "Person"
      }, 
      {
        "familyName": "Zhang", 
        "givenName": "Min-Ling", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-319-42911-3_44", 
    "inLanguage": "en", 
    "isAccessibleForFree": false, 
    "isPartOf": {
      "isbn": [
        "978-3-319-42910-6", 
        "978-3-319-42911-3"
      ], 
      "name": "PRICAI 2016: Trends in Artificial Intelligence", 
      "type": "Book"
    }, 
    "keywords": [
      "family", 
      "function", 
      "features", 
      "partial features", 
      "total functions", 
      "services", 
      "partial functions", 
      "circumstances", 
      "fragments", 
      "underlying signature", 
      "signatures", 
      "concept", 
      "computational properties", 
      "properties", 
      "symbols", 
      "concept constructors", 
      "description logics", 
      "logic", 
      "atomic concepts", 
      "dialects", 
      "constructors", 
      "first order logic", 
      "order logic", 
      "unary predicate symbols", 
      "predicate symbols", 
      "unary function symbols", 
      "function symbols", 
      "key reasoning service", 
      "reasoning services"
    ], 
    "name": "On Partial Features in the Family of Description Logics", 
    "pagination": "529-542", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1009754420"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-319-42911-3_44"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-319-42911-3_44", 
      "https://app.dimensions.ai/details/publication/pub.1009754420"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2021-12-01T20:05", 
    "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_322.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-319-42911-3_44"
  }
]
 

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-42911-3_44'

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-42911-3_44'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-42911-3_44'

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-42911-3_44'


 

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

101 TRIPLES      23 PREDICATES      54 URIs      47 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-319-42911-3_44 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 schema:author Ne0b3d815b96b4a1ba8e0b0d7f41f5016
4 schema:datePublished 2016-08-10
5 schema:datePublishedReg 2016-08-10
6 schema:description The \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{DLF}$$\end{document} family of description logics are fragments of first order logic with underlying signatures based on unary predicate symbols, called atomic concepts, and unary function symbols interpreted as total functions, called features. We show how computational properties relating to a key reasoning service for dialects of this family are preserved when (a) unary function symbols are now interpreted as partial functions, and when (b) a concept constructor is admitted that can characterize circumstances in which partial functions become total.
7 schema:editor N83aa6c171ac84e77bbcf758cfc0f7417
8 schema:genre chapter
9 schema:inLanguage en
10 schema:isAccessibleForFree false
11 schema:isPartOf N57c4c116a45a48e194c225271dacf9c8
12 schema:keywords atomic concepts
13 circumstances
14 computational properties
15 concept
16 concept constructors
17 constructors
18 description logics
19 dialects
20 family
21 features
22 first order logic
23 fragments
24 function
25 function symbols
26 key reasoning service
27 logic
28 order logic
29 partial features
30 partial functions
31 predicate symbols
32 properties
33 reasoning services
34 services
35 signatures
36 symbols
37 total functions
38 unary function symbols
39 unary predicate symbols
40 underlying signature
41 schema:name On Partial Features in the Family of Description Logics
42 schema:pagination 529-542
43 schema:productId N44898c5588224244841b42845ae0ef5c
44 N7d18efaa7ece4919a2ecb552d189e1ae
45 schema:publisher N99d130c16b404ab89bec50c5bc19057c
46 schema:sameAs https://app.dimensions.ai/details/publication/pub.1009754420
47 https://doi.org/10.1007/978-3-319-42911-3_44
48 schema:sdDatePublished 2021-12-01T20:05
49 schema:sdLicense https://scigraph.springernature.com/explorer/license/
50 schema:sdPublisher Nb467c2e3bd1647dbbf98e2981e5095f6
51 schema:url https://doi.org/10.1007/978-3-319-42911-3_44
52 sgo:license sg:explorer/license/
53 sgo:sdDataset chapters
54 rdf:type schema:Chapter
55 N3cac66c8a75a4b5ca5277712e8bad636 schema:familyName Booth
56 schema:givenName Richard
57 rdf:type schema:Person
58 N44898c5588224244841b42845ae0ef5c schema:name doi
59 schema:value 10.1007/978-3-319-42911-3_44
60 rdf:type schema:PropertyValue
61 N4b0b90b12fb54f62a3da471a99052e44 rdf:first sg:person.01111756132.29
62 rdf:rest rdf:nil
63 N57c4c116a45a48e194c225271dacf9c8 schema:isbn 978-3-319-42910-6
64 978-3-319-42911-3
65 schema:name PRICAI 2016: Trends in Artificial Intelligence
66 rdf:type schema:Book
67 N65198de8b1f5437b912fbe50c662c481 schema:familyName Zhang
68 schema:givenName Min-Ling
69 rdf:type schema:Person
70 N77090d3e82d7449084c0bae6b0cbc26b rdf:first N65198de8b1f5437b912fbe50c662c481
71 rdf:rest rdf:nil
72 N7d18efaa7ece4919a2ecb552d189e1ae schema:name dimensions_id
73 schema:value pub.1009754420
74 rdf:type schema:PropertyValue
75 N83aa6c171ac84e77bbcf758cfc0f7417 rdf:first N3cac66c8a75a4b5ca5277712e8bad636
76 rdf:rest N77090d3e82d7449084c0bae6b0cbc26b
77 N99d130c16b404ab89bec50c5bc19057c schema:name Springer Nature
78 rdf:type schema:Organisation
79 Nb467c2e3bd1647dbbf98e2981e5095f6 schema:name Springer Nature - SN SciGraph project
80 rdf:type schema:Organization
81 Ne0b3d815b96b4a1ba8e0b0d7f41f5016 rdf:first sg:person.011644611743.11
82 rdf:rest N4b0b90b12fb54f62a3da471a99052e44
83 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
84 schema:name Information and Computing Sciences
85 rdf:type schema:DefinedTerm
86 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
87 schema:name Computation Theory and Mathematics
88 rdf:type schema:DefinedTerm
89 sg:person.01111756132.29 schema:affiliation grid-institutes:grid.46078.3d
90 schema:familyName Weddell
91 schema:givenName Grant
92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01111756132.29
93 rdf:type schema:Person
94 sg:person.011644611743.11 schema:affiliation grid-institutes:grid.46078.3d
95 schema:familyName Toman
96 schema:givenName David
97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011644611743.11
98 rdf:type schema:Person
99 grid-institutes:grid.46078.3d schema:alternateName Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
100 schema:name Cheriton School of Computer Science, University of Waterloo, Waterloo, Canada
101 rdf:type schema:Organization
 




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


...