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.
This work was partially supported by the Defense Advanced Research Projects Agency under contract F30602-97-1-0215 and by the National Science Foundation under award IIS-0242403.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. In: Proceeding of Tableau 2000, RWTH Achen (2000)
Balaban, M.: The F-Logic Approach for Description Languages, Ben- Gurion University of Negev Technical Report FC-93-02 (1993)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific America (May 2001)
Chen, W., Kifer, M., Warren, D.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM (May 1995)
Golbeck, J., Parsia, B., Hendler, J.: Trust networks on the semantic web. In: Proceedings of Cooperative Intelligent Agents 2003, Helsinki, Finland (August 2003)
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)
Hayes, P.: RDF Semantics. W3C working Draft (2003)
Hendler, J., McGuinness, D.L.: The DARPA Agent Markup Language. IEEE Intelligent Systems, Trends and Controversies, 6–7 (November/December 2000)
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)
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)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)
Klyne, G.: Framework for Security and Trust Standards. SWAD-Europe (December 2002)
Lassila, O.: Enabling Semantic Web Programming by Integrating RDF and Common lisp. In: Proceeding of first Semantic Web Working Symposium. Stanford University, Stanford (2001)
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)
Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. W3C working Draft (2003)
Riazanov, A.: Implementing an Efficient Theorem Prover, PhD thesis, University of Manchester (2003)
Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: ACM Conference on Management of Data (SIGMOD) (1994)
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)
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)
Zou, Y.: Agent-Based Services for the Semantic Web, Ph.D. Dissertation, University of Maryland, Baltimore County (August 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-540-30960-4_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-30960-4_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24422-6
Online ISBN: 978-3-540-30960-4
eBook Packages: Computer ScienceComputer Science (R0)