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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
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)