F-OWL: An Inference Engine for Semantic Web View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2004

AUTHORS

Youyong Zou , Tim Finin , Harry Chen

ABSTRACT

Understanding and using the data and knowledge encoded in semantic web documents requires an inference engine. F-OWL is an inference engine for the semantic web language OWL language based on F-logic, an approach to defining frame-based systems in logic. F-OWL is implemented using XSB and Flora-2 and takes full advantage of their features. We describe how F-OWL computes ontology entailment and compare it with other description logic based approaches. We also describe TAGA, a trading agent environment that we have used as a test bed for F-OWL and to explore how multiagent systems can use semantic web concepts and technology. More... »

PAGES

238-248

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-540-30960-4_16

DOI

http://dx.doi.org/10.1007/978-3-540-30960-4_16

DIMENSIONS

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


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"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0806", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zou", 
        "givenName": "Youyong", 
        "id": "sg:person.011461305341.21", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011461305341.21"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Finin", 
        "givenName": "Tim", 
        "id": "sg:person.016274302751.69", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016274302751.69"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA", 
          "id": "http://www.grid.ac/institutes/None", 
          "name": [
            "Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Chen", 
        "givenName": "Harry", 
        "id": "sg:person.013440505215.53", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013440505215.53"
        ], 
        "type": "Person"
      }
    ], 
    "datePublished": "2004", 
    "datePublishedReg": "2004-01-01", 
    "description": "Understanding and using the data and knowledge encoded in semantic web documents requires an inference engine. F-OWL is an inference engine for the semantic web language OWL language based on F-logic, an approach to defining frame-based systems in logic. F-OWL is implemented using XSB and Flora-2 and takes full advantage of their features. We describe how F-OWL computes ontology entailment and compare it with other description logic based approaches. We also describe TAGA, a trading agent environment that we have used as a test bed for F-OWL and to explore how multiagent systems can use semantic web concepts and technology.", 
    "editor": [
      {
        "familyName": "Hinchey", 
        "givenName": "Michael G.", 
        "type": "Person"
      }, 
      {
        "familyName": "Rash", 
        "givenName": "James L.", 
        "type": "Person"
      }, 
      {
        "familyName": "Truszkowski", 
        "givenName": "Walter F.", 
        "type": "Person"
      }, 
      {
        "familyName": "Rouff", 
        "givenName": "Christopher A.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-540-30960-4_16", 
    "inLanguage": "en", 
    "isAccessibleForFree": true, 
    "isPartOf": {
      "isbn": [
        "978-3-540-24422-6", 
        "978-3-540-30960-4"
      ], 
      "name": "Formal Approaches to Agent-Based Systems", 
      "type": "Book"
    }, 
    "keywords": [
      "inference engine", 
      "semantic web documents", 
      "Semantic Web concepts", 
      "frame-based systems", 
      "web documents", 
      "Semantic Web", 
      "agent environment", 
      "OWL language", 
      "web concepts", 
      "description logics", 
      "multiagent systems", 
      "test bed", 
      "full advantage", 
      "owls", 
      "engine", 
      "logic", 
      "Flora-2", 
      "XSB", 
      "Web", 
      "system", 
      "documents", 
      "language", 
      "entailment", 
      "technology", 
      "environment", 
      "advantages", 
      "features", 
      "concept", 
      "knowledge", 
      "data", 
      "bed", 
      "TAGA", 
      "approach", 
      "semantic web language OWL language", 
      "web language OWL language", 
      "language OWL language", 
      "OWL computes ontology entailment", 
      "computes ontology entailment", 
      "ontology entailment", 
      "trading agent environment"
    ], 
    "name": "F-OWL: An Inference Engine for Semantic Web", 
    "pagination": "238-248", 
    "productId": [
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1041817975"
        ]
      }, 
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-540-30960-4_16"
        ]
      }
    ], 
    "publisher": {
      "name": "Springer Nature", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-540-30960-4_16", 
      "https://app.dimensions.ai/details/publication/pub.1041817975"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2022-01-01T19:09", 
    "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_158.jsonl", 
    "type": "Chapter", 
    "url": "https://doi.org/10.1007/978-3-540-30960-4_16"
  }
]
 

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-540-30960-4_16'

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-540-30960-4_16'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-540-30960-4_16'

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-540-30960-4_16'


 

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

133 TRIPLES      23 PREDICATES      67 URIs      59 LITERALS      7 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-540-30960-4_16 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 anzsrc-for:0806
4 schema:author N66ba473818b5462fadc67c47b2e1c7ee
5 schema:datePublished 2004
6 schema:datePublishedReg 2004-01-01
7 schema:description Understanding and using the data and knowledge encoded in semantic web documents requires an inference engine. F-OWL is an inference engine for the semantic web language OWL language based on F-logic, an approach to defining frame-based systems in logic. F-OWL is implemented using XSB and Flora-2 and takes full advantage of their features. We describe how F-OWL computes ontology entailment and compare it with other description logic based approaches. We also describe TAGA, a trading agent environment that we have used as a test bed for F-OWL and to explore how multiagent systems can use semantic web concepts and technology.
8 schema:editor N8cbdf06d0c7c4f479c65c2e4fcc6eb00
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf Nd4180e7c6f924803b881fce8bfec7715
13 schema:keywords Flora-2
14 OWL computes ontology entailment
15 OWL language
16 Semantic Web
17 Semantic Web concepts
18 TAGA
19 Web
20 XSB
21 advantages
22 agent environment
23 approach
24 bed
25 computes ontology entailment
26 concept
27 data
28 description logics
29 documents
30 engine
31 entailment
32 environment
33 features
34 frame-based systems
35 full advantage
36 inference engine
37 knowledge
38 language
39 language OWL language
40 logic
41 multiagent systems
42 ontology entailment
43 owls
44 semantic web documents
45 semantic web language OWL language
46 system
47 technology
48 test bed
49 trading agent environment
50 web concepts
51 web documents
52 web language OWL language
53 schema:name F-OWL: An Inference Engine for Semantic Web
54 schema:pagination 238-248
55 schema:productId N45515a7a3d544bd28cfdc4b470141cc3
56 N586660c291e647fdae329e15bdcb4c1a
57 schema:publisher Nd4098eb282a14510a06c7caac39de52d
58 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041817975
59 https://doi.org/10.1007/978-3-540-30960-4_16
60 schema:sdDatePublished 2022-01-01T19:09
61 schema:sdLicense https://scigraph.springernature.com/explorer/license/
62 schema:sdPublisher N5070c24f202e49d2b7b078223d19cfdb
63 schema:url https://doi.org/10.1007/978-3-540-30960-4_16
64 sgo:license sg:explorer/license/
65 sgo:sdDataset chapters
66 rdf:type schema:Chapter
67 N0a328ece39c2471c80ccdb73c76fdaa7 schema:familyName Rouff
68 schema:givenName Christopher A.
69 rdf:type schema:Person
70 N45515a7a3d544bd28cfdc4b470141cc3 schema:name doi
71 schema:value 10.1007/978-3-540-30960-4_16
72 rdf:type schema:PropertyValue
73 N5070c24f202e49d2b7b078223d19cfdb schema:name Springer Nature - SN SciGraph project
74 rdf:type schema:Organization
75 N586660c291e647fdae329e15bdcb4c1a schema:name dimensions_id
76 schema:value pub.1041817975
77 rdf:type schema:PropertyValue
78 N649c726630104774b2d13107f5307be9 schema:familyName Rash
79 schema:givenName James L.
80 rdf:type schema:Person
81 N64f8ed05bbce46e7801a4113c81042a4 schema:familyName Truszkowski
82 schema:givenName Walter F.
83 rdf:type schema:Person
84 N66ba473818b5462fadc67c47b2e1c7ee rdf:first sg:person.011461305341.21
85 rdf:rest N79efd030f7d44878a06317c8c94ecc08
86 N79efd030f7d44878a06317c8c94ecc08 rdf:first sg:person.016274302751.69
87 rdf:rest N89bc6ac4ab6740c4ae9296b5d666719b
88 N89bc6ac4ab6740c4ae9296b5d666719b rdf:first sg:person.013440505215.53
89 rdf:rest rdf:nil
90 N8cbdf06d0c7c4f479c65c2e4fcc6eb00 rdf:first Ne227fd3ee2ad487e89b168dd9221d7ef
91 rdf:rest Nc1267f3e29c44b67986fe2eebc1902a1
92 Nc1267f3e29c44b67986fe2eebc1902a1 rdf:first N649c726630104774b2d13107f5307be9
93 rdf:rest Nd3c10f2961504104b7b0114d6240467b
94 Nc368dee2c20b4c378ed01a610c2dd0c7 rdf:first N0a328ece39c2471c80ccdb73c76fdaa7
95 rdf:rest rdf:nil
96 Nd3c10f2961504104b7b0114d6240467b rdf:first N64f8ed05bbce46e7801a4113c81042a4
97 rdf:rest Nc368dee2c20b4c378ed01a610c2dd0c7
98 Nd4098eb282a14510a06c7caac39de52d schema:name Springer Nature
99 rdf:type schema:Organisation
100 Nd4180e7c6f924803b881fce8bfec7715 schema:isbn 978-3-540-24422-6
101 978-3-540-30960-4
102 schema:name Formal Approaches to Agent-Based Systems
103 rdf:type schema:Book
104 Ne227fd3ee2ad487e89b168dd9221d7ef schema:familyName Hinchey
105 schema:givenName Michael G.
106 rdf:type schema:Person
107 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
108 schema:name Information and Computing Sciences
109 rdf:type schema:DefinedTerm
110 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
111 schema:name Artificial Intelligence and Image Processing
112 rdf:type schema:DefinedTerm
113 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
114 schema:name Information Systems
115 rdf:type schema:DefinedTerm
116 sg:person.011461305341.21 schema:affiliation grid-institutes:None
117 schema:familyName Zou
118 schema:givenName Youyong
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011461305341.21
120 rdf:type schema:Person
121 sg:person.013440505215.53 schema:affiliation grid-institutes:None
122 schema:familyName Chen
123 schema:givenName Harry
124 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013440505215.53
125 rdf:type schema:Person
126 sg:person.016274302751.69 schema:affiliation grid-institutes:None
127 schema:familyName Finin
128 schema:givenName Tim
129 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016274302751.69
130 rdf:type schema:Person
131 grid-institutes:None schema:alternateName Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA
132 schema:name Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA
133 rdf:type schema:Organization
 




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


...