Analyzing the AIR Language: A Semantic Web (Production) Rule Language View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2010

AUTHORS

Ankesh Khandelwal , Jie Bao , Lalana Kagal , Ian Jacobi , Li Ding , James Hendler

ABSTRACT

The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped contextualized reasoning, and explanation of inferred facts. Each AIR rule has unique identifier (typically an HTTP URI) that supports reuse of rule. In this paper we analyze the semantics of AIR language by: i) giving the declarative semantics that support the reasoning algorithm, ii) providing complexity of AIR inference; and iii) evaluating the expressiveness of language by encoding Logic Programs of different expressivities in AIR. More... »

PAGES

58-72

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-642-15918-3_6

DOI

http://dx.doi.org/10.1007/978-3-642-15918-3_6

DIMENSIONS

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


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/17", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Psychology and Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/20", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Language, Communication and Culture", 
        "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"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/1702", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Cognitive Sciences", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/2004", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Linguistics", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Rensselaer Polytechnic Institute, 12180, Troy, NY", 
          "id": "http://www.grid.ac/institutes/grid.33647.35", 
          "name": [
            "Rensselaer Polytechnic Institute, 12180, Troy, NY"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Khandelwal", 
        "givenName": "Ankesh", 
        "id": "sg:person.012532222473.09", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012532222473.09"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Rensselaer Polytechnic Institute, 12180, Troy, NY", 
          "id": "http://www.grid.ac/institutes/grid.33647.35", 
          "name": [
            "Rensselaer Polytechnic Institute, 12180, Troy, NY"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bao", 
        "givenName": "Jie", 
        "id": "sg:person.014661710311.86", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014661710311.86"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Massachusetts Institute of Technology, 02139, Cambridge, MA", 
          "id": "http://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "Massachusetts Institute of Technology, 02139, Cambridge, MA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Kagal", 
        "givenName": "Lalana", 
        "id": "sg:person.013650411761.05", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013650411761.05"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Massachusetts Institute of Technology, 02139, Cambridge, MA", 
          "id": "http://www.grid.ac/institutes/grid.116068.8", 
          "name": [
            "Massachusetts Institute of Technology, 02139, Cambridge, MA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Jacobi", 
        "givenName": "Ian", 
        "id": "sg:person.012001750765.63", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012001750765.63"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Rensselaer Polytechnic Institute, 12180, Troy, NY", 
          "id": "http://www.grid.ac/institutes/grid.33647.35", 
          "name": [
            "Rensselaer Polytechnic Institute, 12180, Troy, NY"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Ding", 
        "givenName": "Li", 
        "id": "sg:person.016441361671.33", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016441361671.33"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Rensselaer Polytechnic Institute, 12180, Troy, NY", 
          "id": "http://www.grid.ac/institutes/grid.33647.35", 
          "name": [
            "Rensselaer Polytechnic Institute, 12180, Troy, NY"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hendler", 
        "givenName": "James", 
        "id": "sg:person.015205551351.79", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015205551351.79"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2010", 
    "datePublishedReg": "2010-01-01", 
    "description": "The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped contextualized reasoning, and explanation of inferred facts. Each AIR rule has unique identifier (typically an HTTP URI) that supports reuse of rule. In this paper we analyze the semantics of AIR language by: i) giving the declarative semantics that support the reasoning algorithm, ii) providing complexity of AIR inference; and iii) evaluating the expressiveness of language by encoding Logic Programs of different expressivities in AIR.", 
    "editor": [
      {
        "familyName": "Hitzler", 
        "givenName": "Pascal", 
        "type": "Person"
      }, 
      {
        "familyName": "Lukasiewicz", 
        "givenName": "Thomas", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-642-15918-3_6", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-642-15917-6", 
        "978-3-642-15918-3"
      ], 
      "name": "Web Reasoning and Rule Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "expressiveness of languages", 
      "production rule language", 
      "activation of rules", 
      "reuse of rules", 
      "RDF language", 
      "Semantic Web", 
      "language", 
      "rule language", 
      "world reasoning", 
      "reasoning algorithm", 
      "inferred facts", 
      "declarative semantics", 
      "unique identifiers", 
      "logic programs", 
      "semantics", 
      "reasoning", 
      "different expressivity", 
      "rules", 
      "negation", 
      "expressiveness", 
      "algorithm", 
      "identifiers", 
      "Web", 
      "reuse", 
      "complexity", 
      "expressivity", 
      "inference", 
      "fact", 
      "explanation", 
      "accountability", 
      "program", 
      "paper", 
      "air", 
      "N3", 
      "activation"
    ], 
    "name": "Analyzing the AIR Language: A Semantic Web (Production) Rule Language", 
    "pagination": "58-72", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1035265346"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-642-15918-3_6"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-642-15918-3_6", 
      "https://app.dimensions.ai/details/publication/pub.1035265346"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-06-01T22:34", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/chapter/chapter_37.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-642-15918-3_6"
  }
]
 

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-642-15918-3_6'

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-642-15918-3_6'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-642-15918-3_6'

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-642-15918-3_6'


 

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

154 TRIPLES      23 PREDICATES      65 URIs      54 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-642-15918-3_6 schema:about anzsrc-for:08
2 anzsrc-for:0802
3 anzsrc-for:17
4 anzsrc-for:1702
5 anzsrc-for:20
6 anzsrc-for:2004
7 schema:author N6de1e2369feb48d0902d0565e4b38e5d
8 schema:datePublished 2010
9 schema:datePublishedReg 2010-01-01
10 schema:description The Accountability In RDF (AIR) language is an N3-based, Semantic Web production rule language that supports nested activation of rules, negation, closed world reasoning, scoped contextualized reasoning, and explanation of inferred facts. Each AIR rule has unique identifier (typically an HTTP URI) that supports reuse of rule. In this paper we analyze the semantics of AIR language by: i) giving the declarative semantics that support the reasoning algorithm, ii) providing complexity of AIR inference; and iii) evaluating the expressiveness of language by encoding Logic Programs of different expressivities in AIR.
11 schema:editor N7ff224d37ff4403b8ffa2ef3fae55e2d
12 schema:genre chapter
13 schema:inLanguage en
14 schema:isAccessibleForFree true
15 schema:isPartOf Nb12a0882f74d4dd58df9c2edf8b8c81d
16 schema:keywords N3
17 RDF language
18 Semantic Web
19 Web
20 accountability
21 activation
22 activation of rules
23 air
24 algorithm
25 complexity
26 declarative semantics
27 different expressivity
28 explanation
29 expressiveness
30 expressiveness of languages
31 expressivity
32 fact
33 identifiers
34 inference
35 inferred facts
36 language
37 logic programs
38 negation
39 paper
40 production rule language
41 program
42 reasoning
43 reasoning algorithm
44 reuse
45 reuse of rules
46 rule language
47 rules
48 semantics
49 unique identifiers
50 world reasoning
51 schema:name Analyzing the AIR Language: A Semantic Web (Production) Rule Language
52 schema:pagination 58-72
53 schema:productId N953f79f598b54529822d4f0a98f0ce8f
54 Nda2c3771b5924ee69acda3037246aa9e
55 schema:publisher N92a0a70691414479b7d26157819b9dc2
56 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035265346
57 https://doi.org/10.1007/978-3-642-15918-3_6
58 schema:sdDatePublished 2022-06-01T22:34
59 schema:sdLicense https://scigraph.springernature.com/explorer/license/
60 schema:sdPublisher N15db8c0244ea4f89848cb55f5f5eed69
61 schema:url https://doi.org/10.1007/978-3-642-15918-3_6
62 sgo:license sg:explorer/license/
63 sgo:sdDataset chapters
64 rdf:type schema:Chapter
65 N11c15d6d8f5f4b5ab07e247da0ddfefd rdf:first sg:person.016441361671.33
66 rdf:rest N9566bc64b745478da17dd26042abee99
67 N15db8c0244ea4f89848cb55f5f5eed69 schema:name Springer Nature - SN SciGraph project
68 rdf:type schema:Organization
69 N23395b2b16cc49e9a797e61924278ef7 schema:familyName Lukasiewicz
70 schema:givenName Thomas
71 rdf:type schema:Person
72 N32104d27dfa24752a00b640e920a6570 rdf:first sg:person.013650411761.05
73 rdf:rest N8306e47136974841b014477faedac3de
74 N3358a4530b0e44968f2acd16fb1f11f5 rdf:first sg:person.014661710311.86
75 rdf:rest N32104d27dfa24752a00b640e920a6570
76 N6de1e2369feb48d0902d0565e4b38e5d rdf:first sg:person.012532222473.09
77 rdf:rest N3358a4530b0e44968f2acd16fb1f11f5
78 N7ff224d37ff4403b8ffa2ef3fae55e2d rdf:first Nccecc48885374e278808a41d981bde9e
79 rdf:rest N9ee3cebb4bab46d0819e73188cc5ded1
80 N8306e47136974841b014477faedac3de rdf:first sg:person.012001750765.63
81 rdf:rest N11c15d6d8f5f4b5ab07e247da0ddfefd
82 N92a0a70691414479b7d26157819b9dc2 schema:name Springer Nature
83 rdf:type schema:Organisation
84 N953f79f598b54529822d4f0a98f0ce8f schema:name dimensions_id
85 schema:value pub.1035265346
86 rdf:type schema:PropertyValue
87 N9566bc64b745478da17dd26042abee99 rdf:first sg:person.015205551351.79
88 rdf:rest rdf:nil
89 N9ee3cebb4bab46d0819e73188cc5ded1 rdf:first N23395b2b16cc49e9a797e61924278ef7
90 rdf:rest rdf:nil
91 Nb12a0882f74d4dd58df9c2edf8b8c81d schema:isbn 978-3-642-15917-6
92 978-3-642-15918-3
93 schema:name Web Reasoning and Rule Systems
94 rdf:type schema:Book
95 Nccecc48885374e278808a41d981bde9e schema:familyName Hitzler
96 schema:givenName Pascal
97 rdf:type schema:Person
98 Nda2c3771b5924ee69acda3037246aa9e schema:name doi
99 schema:value 10.1007/978-3-642-15918-3_6
100 rdf:type schema:PropertyValue
101 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
102 schema:name Information and Computing Sciences
103 rdf:type schema:DefinedTerm
104 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
105 schema:name Computation Theory and Mathematics
106 rdf:type schema:DefinedTerm
107 anzsrc-for:17 schema:inDefinedTermSet anzsrc-for:
108 schema:name Psychology and Cognitive Sciences
109 rdf:type schema:DefinedTerm
110 anzsrc-for:1702 schema:inDefinedTermSet anzsrc-for:
111 schema:name Cognitive Sciences
112 rdf:type schema:DefinedTerm
113 anzsrc-for:20 schema:inDefinedTermSet anzsrc-for:
114 schema:name Language, Communication and Culture
115 rdf:type schema:DefinedTerm
116 anzsrc-for:2004 schema:inDefinedTermSet anzsrc-for:
117 schema:name Linguistics
118 rdf:type schema:DefinedTerm
119 sg:person.012001750765.63 schema:affiliation grid-institutes:grid.116068.8
120 schema:familyName Jacobi
121 schema:givenName Ian
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012001750765.63
123 rdf:type schema:Person
124 sg:person.012532222473.09 schema:affiliation grid-institutes:grid.33647.35
125 schema:familyName Khandelwal
126 schema:givenName Ankesh
127 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012532222473.09
128 rdf:type schema:Person
129 sg:person.013650411761.05 schema:affiliation grid-institutes:grid.116068.8
130 schema:familyName Kagal
131 schema:givenName Lalana
132 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013650411761.05
133 rdf:type schema:Person
134 sg:person.014661710311.86 schema:affiliation grid-institutes:grid.33647.35
135 schema:familyName Bao
136 schema:givenName Jie
137 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014661710311.86
138 rdf:type schema:Person
139 sg:person.015205551351.79 schema:affiliation grid-institutes:grid.33647.35
140 schema:familyName Hendler
141 schema:givenName James
142 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015205551351.79
143 rdf:type schema:Person
144 sg:person.016441361671.33 schema:affiliation grid-institutes:grid.33647.35
145 schema:familyName Ding
146 schema:givenName Li
147 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016441361671.33
148 rdf:type schema:Person
149 grid-institutes:grid.116068.8 schema:alternateName Massachusetts Institute of Technology, 02139, Cambridge, MA
150 schema:name Massachusetts Institute of Technology, 02139, Cambridge, MA
151 rdf:type schema:Organization
152 grid-institutes:grid.33647.35 schema:alternateName Rensselaer Polytechnic Institute, 12180, Troy, NY
153 schema:name Rensselaer Polytechnic Institute, 12180, Troy, NY
154 rdf:type schema:Organization
 




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


...