On the Relationship between Description Logic-based and F-Logic-based Ontologies

• Autorzy: de Bruijn J. , Heymans S.
• Języki publikacji: EN

Abstrakty

EN

Many popular ontology languages are based on (subsets of) first-order predicate logic, with classes represented by unary predicates and properties by binary predicates. Specifically, the Semantic Web ontology language OWL DL is based on the Description Logic SHOIN. F-Logic is an ontology language which is also based on first-order logic, but classes and properties are modeled as terms rather than predicates. Our goal is to enable interoperation between predicate-based and F-Logic-based ontology languages. To this end, we define an intuitive translation from predicate-based ontologies to F-Logic ontologies and show that this translation preserves entailment for large classes of ontology languages, including most of OWL DL. Specifically, we define the class of equality-safe (E-safe) formulas, show that the Description Logic SHIQis E-safe, and show that the translation preserves validity of E-safeformulas. We use these results to close the open problem of layering F-Logic programming on top of Description Logic Programs and we show that our results apply to HILOG, a syntactically higher-order, but semantically first-order language. Finally, we show that our results also apply to a meta-modeling extension for Description Logics (v -semantics).

Słowa kluczowe

EN

frame logic; ontology translation; ontology meta-modeling; equality-safe formulas; semantic web language layering; f-logic programming

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2008
• Tom: Vol. 82, nr 3
• Strony: 213--236
• Opis fizyczny: bibliogr. 27 poz., tab.

Twórcy

autor

de Bruijn J.

autor

Heymans S.

• Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100, Bolzano, Italy,

Bibliografia

• [1] Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic, Journal of Philosophical Logic, 27, 1998, 217-274.
• [2] Angele, J., Boley, H., Bruijn, J. de, Fensel, D., Hitzler, P., Kifer,M., Krummenacher, R., Lausen, H., Polleres, A., Studer, R.: Web Rule Language (WRL), W3C Member Submission 09 September 2005.
• [3] Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., Patel-Schneider, P. F., Eds.: The Description Logic Handbook, Cambridge University Press, 2003.
• [4] Balaban, M.: The F-logic Approach for Description Languages, Annals of Mathematics and Artificial Intelligence, 15(1), 1995, 19-60.
• [5] Balaban, M., Eyal, A.: DFL - a dialog based integration of concept and rule reasoners, Data & Knowledge Engineering, 38(3), 2001, 301-334.
• [6] Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger,M., Hull, R., Kifer, M., Martin, D., McIlraith, S., McGuinness, D., Su, J., Tabet, S.: SemanticWeb Services Language (SWSL), W3C Member Submission 09 September 2005.
• [7] Borgida, A.: On the Relative Expressiveness of Description Logics and Predicate Logics, Artificial Intelligence, 82(1-2), 1996, 353-367.
• [8] Bruijn, J. de, Heymans, S.: Translating Ontologies from Predicate-based to Frame-based Languages, Proceedings of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML2006), Athens, Georgia, USA, November 10-11 2006.
• [9] Bruijn, J. de, Heymans, S.: Logical Foundations of (e)RDF(S): Complexity, Reasoning, and Extension, Proceedings of the 6th International SemanticWeb Conference (ISWC2007), Busan, Korea, November 2007.
• [10] Bruijn, J. de, Lausen, H., Polleres, A., Fensel, D.: The Web Service Modeling Language: An Overview, Proceedings of the 3rd European Semantic Web Conference (ESWC2006), Budva, Montenegro, June 2006.
• [11] Chen, W., Kifer, M., Warren, D. S.: HILOG: A Foundation for Higher-Order Logic Programming, Journal of Logic Programming, 15(3), 1993, 187-230.
• [12] Dean,M., Schreiber, G., Eds.: OWLWeb Ontology Language Reference, W3C Recommendation 10 February 2004.
• [13] Gelder, A. V., Ross, K., Schlipf, J. S.: The Well-Founded Semantics for General Logic Programs, Journal of the ACM, 38(3), 1991, 620-650.
• [14] Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming, Proceedings of the Fifth International Conference on Logic Programming (R. A. Kowalski, K. Bowen, Eds.), The MIT Press, Cambridge, Massachusetts, 1988.
• [15] Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, 9(3/4), 1991, 365-386.
• [16] Grosof, B. N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic, Proceedings of the 12th International Conference on the World Wide Web (WWW2003), Budapest, Hungary, 2003.
• [17] Hayes, P., Ed.: RDF Semantics, W3C Recommendation 10 February 2004.
• [18] Horrocks, I., Patel-Schneider, P. F.: A Proposal for an OWL Rules Language, Proceedings of the 13th International World Wide Web Conference (WWW2004), New York City, USA, 2004.
• [19] Kifer, M.: Rules and Ontologies in F-Logic, Reasoning Web, First International Summer School, Tutorial Lectures, Msida, Malta, July 2005.
• [20] Kifer, M., Lausen, G.,Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages, JACM, 42(4), 1995, 741-843.
• [21] Kifer, M., Wu, J.: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited), Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989.
• [22] Levy, A. Y., Rousset, M.-C.: Combining Horn rules and description logics in CARIN, Artificial Intelligence, 104, 1998, 165 - 209.
• [23] Lloyd, J. W.: Foundations of Logic Programming (2nd edition), Springer-Verlag, 1987.
• [24] Motik, B.: On the Properties of Metamodeling in OWL, Proceedings of the 4th International Semantic Web Conference (ISWC2005), Springer, Galway, Ireland, 2005.
• [25] Patel-Schneider, P. F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax, W3C Recommendation 10 February 2004.
• [26] Yang, G., Kifer,M., Zhao, C.: FLORA-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web, Proceedings of the Second International Conference on Ontologies, Databases and Applications of Semantics (ODBASE), Catania, Sicily, Italy, 2003.
• [27] Zou, Y., Finin, T., Chen, H.: F-OWL: an Inference Engine for the Semantic Web, Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Revised Selected Papers, LNCS, Springer, Greenbelt, USA, 2004.