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 concepts", 
      "semantic web documents", 
      "frame-based systems", 
      "Semantic Web", 
      "web documents", 
      "OWL language", 
      "agent environment", 
      "Flora-2", 
      "web concepts", 
      "description logics", 
      "multiagent systems", 
      "test bed", 
      "full advantage", 
      "owls", 
      "logic", 
      "engine", 
      "XSB", 
      "Web", 
      "system", 
      "documents", 
      "language", 
      "entailment", 
      "technology", 
      "environment", 
      "features", 
      "advantages", 
      "concept", 
      "knowledge", 
      "data", 
      "TAGA", 
      "bed", 
      "approach"
    ], 
    "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-05-20T07:44", 
    "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
    "sdPublisher": {
      "name": "Springer Nature - SN SciGraph project", 
      "type": "Organization"
    }, 
    "sdSource": "s3://com-springernature-scigraph/baseset/20220519/entities/gbq_results/chapter/chapter_254.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.

126 TRIPLES      23 PREDICATES      60 URIs      52 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 Naf197289fff6491fab0be197f0904628
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 N6df20823f2914ec19559056c0caad055
9 schema:genre chapter
10 schema:inLanguage en
11 schema:isAccessibleForFree true
12 schema:isPartOf N4f554a2244e64a9592d513c85236752b
13 schema:keywords Flora-2
14 OWL language
15 Semantic Web
16 Semantic Web concepts
17 TAGA
18 Web
19 XSB
20 advantages
21 agent environment
22 approach
23 bed
24 concept
25 data
26 description logics
27 documents
28 engine
29 entailment
30 environment
31 features
32 frame-based systems
33 full advantage
34 inference engine
35 knowledge
36 language
37 logic
38 multiagent systems
39 owls
40 semantic web documents
41 system
42 technology
43 test bed
44 web concepts
45 web documents
46 schema:name F-OWL: An Inference Engine for Semantic Web
47 schema:pagination 238-248
48 schema:productId N23ce43b42b32490a91685696f715448b
49 N3a17e69dce124ab293e927295eba3f85
50 schema:publisher N40e2f694b6594d27909d6bd956b5c86f
51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041817975
52 https://doi.org/10.1007/978-3-540-30960-4_16
53 schema:sdDatePublished 2022-05-20T07:44
54 schema:sdLicense https://scigraph.springernature.com/explorer/license/
55 schema:sdPublisher N6624437266d94f048e1c4dcfec798b06
56 schema:url https://doi.org/10.1007/978-3-540-30960-4_16
57 sgo:license sg:explorer/license/
58 sgo:sdDataset chapters
59 rdf:type schema:Chapter
60 N0a2e85fae2f545bd951ea4fcf7723baa rdf:first Nb182a6fa658744dfbe93dbe9353bbec6
61 rdf:rest rdf:nil
62 N0daa0edcc41b4ad48aec3a1a292648df rdf:first sg:person.013440505215.53
63 rdf:rest rdf:nil
64 N0eb1d411628c412fb7310856cbb919d8 schema:familyName Hinchey
65 schema:givenName Michael G.
66 rdf:type schema:Person
67 N23ce43b42b32490a91685696f715448b schema:name dimensions_id
68 schema:value pub.1041817975
69 rdf:type schema:PropertyValue
70 N3a17e69dce124ab293e927295eba3f85 schema:name doi
71 schema:value 10.1007/978-3-540-30960-4_16
72 rdf:type schema:PropertyValue
73 N40e2f694b6594d27909d6bd956b5c86f schema:name Springer Nature
74 rdf:type schema:Organisation
75 N4f554a2244e64a9592d513c85236752b schema:isbn 978-3-540-24422-6
76 978-3-540-30960-4
77 schema:name Formal Approaches to Agent-Based Systems
78 rdf:type schema:Book
79 N5e65ec3cca4144dc98bcfa28c7109cf6 rdf:first N95248ee41f8c406487efade8fc3c6dc4
80 rdf:rest Ndc84a17550df40bbb2bae6968cb800c9
81 N6624437266d94f048e1c4dcfec798b06 schema:name Springer Nature - SN SciGraph project
82 rdf:type schema:Organization
83 N68afb5aaa04447bb87f090f81bbfc533 rdf:first sg:person.016274302751.69
84 rdf:rest N0daa0edcc41b4ad48aec3a1a292648df
85 N6df20823f2914ec19559056c0caad055 rdf:first N0eb1d411628c412fb7310856cbb919d8
86 rdf:rest N5e65ec3cca4144dc98bcfa28c7109cf6
87 N95248ee41f8c406487efade8fc3c6dc4 schema:familyName Rash
88 schema:givenName James L.
89 rdf:type schema:Person
90 Naf197289fff6491fab0be197f0904628 rdf:first sg:person.011461305341.21
91 rdf:rest N68afb5aaa04447bb87f090f81bbfc533
92 Nb182a6fa658744dfbe93dbe9353bbec6 schema:familyName Rouff
93 schema:givenName Christopher A.
94 rdf:type schema:Person
95 Ndc84a17550df40bbb2bae6968cb800c9 rdf:first Nf2ba6d6f66c74977b485fd93ed7e9bc7
96 rdf:rest N0a2e85fae2f545bd951ea4fcf7723baa
97 Nf2ba6d6f66c74977b485fd93ed7e9bc7 schema:familyName Truszkowski
98 schema:givenName Walter F.
99 rdf:type schema:Person
100 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
101 schema:name Information and Computing Sciences
102 rdf:type schema:DefinedTerm
103 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
104 schema:name Artificial Intelligence and Image Processing
105 rdf:type schema:DefinedTerm
106 anzsrc-for:0806 schema:inDefinedTermSet anzsrc-for:
107 schema:name Information Systems
108 rdf:type schema:DefinedTerm
109 sg:person.011461305341.21 schema:affiliation grid-institutes:None
110 schema:familyName Zou
111 schema:givenName Youyong
112 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011461305341.21
113 rdf:type schema:Person
114 sg:person.013440505215.53 schema:affiliation grid-institutes:None
115 schema:familyName Chen
116 schema:givenName Harry
117 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013440505215.53
118 rdf:type schema:Person
119 sg:person.016274302751.69 schema:affiliation grid-institutes:None
120 schema:familyName Finin
121 schema:givenName Tim
122 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016274302751.69
123 rdf:type schema:Person
124 grid-institutes:None schema:alternateName Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA
125 schema:name Computer Science and Electrical Engineering, University of Maryland, Baltimore County, 1000 Hilltop Circle, 21250, Baltimore, MD, USA
126 rdf:type schema:Organization
 




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


...