F-OWL: an Inference Engine for the Semantic Web

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.
Date: November 30, 2004
Book Title: Formal Approaches to Agent-Based Systems
Type: InBook
Series: Lecture Notes in Computer Science
Volume: 3228
Publisher: Springer-verlag
Note: (proceedings of the Third International Workshop (FAABS), April 16-18, 2004, Greenbelt, MD, USA)
Google scholar: jC77qOPcDkEJ
Google citations: 27 citations
Downloads: 6544

Has 2 soft copies


size 126464 bytes

size 83819 bytes

Bibtex


@InBook{F_OWL_an_Inference_Engine_for_the_Semant,
  author = "Youyong Zou and Tim Finin and Harry Chen",
  editor = "MIchael Hinchey and James L. Rash and Walter F. Truszkowski and Christopher A. Rouff",
  title = "{F-OWL: an Inference Engine for the Semantic Web }",
  month = "November",
  year = "2004",
  series = "Lecture Notes in Computer Science",
  note = "(proceedings of the Third International Workshop (FAABS), April 16-18, 2004, Greenbelt, MD, USA)",
  volume = "3228",
  booktitle = "Formal Approaches to Agent-Based Systems",
  publisher = "Springer-verlag",
}