F-OWL: An Inference Engine for Semantic Web

  • Youyong Zou
  • Tim Finin
  • Harry Chen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3228)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Baader 2000]
    Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. In: Proceeding of Tableau 2000, RWTH Achen (2000)Google Scholar
  2. [Balaban 1993]
    Balaban, M.: The F-Logic Approach for Description Languages, Ben- Gurion University of Negev Technical Report FC-93-02 (1993)Google Scholar
  3. [Berners-Lee 2001]
    Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific America (May 2001)Google Scholar
  4. [Chen 1995]
    Chen, W., Kifer, M., Warren, D.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM (May 1995)Google Scholar
  5. [Golbeck 2003]
    Golbeck, J., Parsia, B., Hendler, J.: Trust networks on the semantic web. In: Proceedings of Cooperative Intelligent Agents 2003, Helsinki, Finland (August 2003)Google Scholar
  6. [Haarslev 2001]
    Haarslev, V., Möller, R.: RACER system description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol. 2083, pp. 701–705. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  7. [Hayes 2003]
    Hayes, P.: RDF Semantics. W3C working Draft (2003)Google Scholar
  8. [Hendler 2000]
    Hendler, J., McGuinness, D.L.: The DARPA Agent Markup Language. IEEE Intelligent Systems, Trends and Controversies, 6–7 (November/December 2000)Google Scholar
  9. [Horrocks, 1999]
    Horrocks, I.: FaCT and iFaCT. In: Lambrix, P., Borgida, A., Lenzerini, M., Möller, R., Patel-Schneider, P. (eds.) Proceedings of the International Workshop on Description Logics (DL 1999), pp. 133–135 (1999)Google Scholar
  10. [Horrocks, 2003]
    Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 17–29. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  11. [Kifer, 1995]
    Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)MathSciNetCrossRefMATHGoogle Scholar
  12. [Klyne 2002]
    Klyne, G.: Framework for Security and Trust Standards. SWAD-Europe (December 2002)Google Scholar
  13. [Lassila 2001]
    Lassila, O.: Enabling Semantic Web Programming by Integrating RDF and Common lisp. In: Proceeding of first Semantic Web Working Symposium. Stanford University, Stanford (2001)Google Scholar
  14. [Lassila 2002]
    Lassila, O.: Taking the RDF Model Theory Out for a Spin. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, p. 307. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  15. [Patel-Schneider 2003]
    Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. W3C working Draft (2003)Google Scholar
  16. [Riazanov, 2003]
    Riazanov, A.: Implementing an Efficient Theorem Prover, PhD thesis, University of Manchester (2003)Google Scholar
  17. [Sagonas, 1994]
    Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: ACM Conference on Management of Data (SIGMOD) (1994)Google Scholar
  18. [Yang, 2000]
    Yang, G., Kifer, M.: FLORA: Implementing an efficient DOOD system using a tabling logic engine. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 1078–1093. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  19. [Zou, 2003]
    Zou, Y., Finin, T., Ding, L., Chen, H., Pan, R.: TAGA: Trading Agent Competition in Agentcities. In: Workshop on Trading Agent Design and Analysis, held in conjunction with the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco MX, Monday, August 11 (2003)Google Scholar
  20. [Zou, 2004]
    Zou, Y.: Agent-Based Services for the Semantic Web, Ph.D. Dissertation, University of Maryland, Baltimore County (August 2004)Google Scholar

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