F-OWL: An Inference Engine for Semantic Web

  • Youyong Zou
  • Tim Finin
  • Harry Chen
Conference paper

DOI: 10.1007/978-3-540-30960-4_16

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3228)
Cite this paper as:
Zou Y., Finin T., Chen H. (2004) F-OWL: An Inference Engine for Semantic Web. In: Hinchey M.G., Rash J.L., Truszkowski W.F., Rouff C.A. (eds) Formal Approaches to Agent-Based Systems. FAABS 2004. Lecture Notes in Computer Science, vol 3228. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Youyong Zou
    • 1
  • Tim Finin
    • 1
  • Harry Chen
    • 1
  1. 1.Computer Science and Electrical EngineeringUniversity of Maryland, Baltimore CountyBaltimoreUSA

Personalised recommendations