Translating ontologies from predicate-based to frame-based languages

Proceedings - RuleML 2006: 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web

Volumn , Issue , 2006, Pages 7-16

  De Bruijn, Jos ^a   Heymans, Stijn ^a  

^a UNIVERSITY OF INNSBRUCK   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; ONTOLOGY; SPECIFICATION LANGUAGES; WEB SERVICES;

DESCRIPTION LOGIC; LANGUAGE LAYERING; ONTOLOGY LANGUAGE;

SEMANTIC WEB;

EID: 38949133360     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RULEML.2006.23     Document Type: Conference Paper

References (25)

1. H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27:217-274, 1998.
2. J. Angele et al. Web rule language (WRL). W3C Member Submission 09 September 2005.
3. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
4. M. Balaban. The F-logic approach for description languages. Annals of Mathematics and Artificial Intelligence, 15(1):19-60, 1995.
5. M. Balaban and A. Eyal. DFL - a dialog based integration of concept and rule reasoners. Data & Knowledge Engineering, 38(3):301-334, 2001.
6. S. Battle et al. Semantic web services language (SWSL). W3C Member Submission 09 September 2005.
7. W. Chen, M. Kifer, and D. S. Warren. HILOG: A foundation for higher-order logic programming. Journal of Logic Programming, 15(3): 187-230, 1993.
8. J. de Bruijn, E. Franconi, and S. Tessaris. Logical reconstruction of normative RDF. In OWLED-2005, Galway, Ireland, November 2005.
9. J. de Bruijn, editor. The web service modeling language WSML. WSML Final Draft D16.1v0.21, WSML, 2005.
10. J. de Bruijn, H. Lausen, A. Polleres, and D. Fensel. The web service modeling language: An overview. In ESWC2006, Budva, Montenegro, June 2006.
11. J. de Bruijn, A. Polleres, R. Lara, and D. Fensel. OWL". Final draft d20.1v0.2, WSML, 2004.
12. M. Dean and G. Schreiber, editors. OWL Web Ontology Language Reference. W3C Recommendation 10 February 2004.
13. A. V. Gelder, K. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3): 620-650, 1991.
14. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: Combining logic programs with description logic. In WWW2003, Budapest, Hungary, 2003.
15. P. Hayes. RDF semantics. W3C Recommendation 10 February 2004.
16. S. Khoshafian and G. Copeland. Object identity. In OOPSLA'86, pages 406-416, 1986.
17. M. Kifer. Rules and ontologies in f-logic. In Reasoning Web, First International Summer School, Tutorial Lectures, pages 22-34, Msida, Malta, July 2005.
18. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of the ACM, 42(4):741-843, 1995.
19. A. Y. Levy and M.-C. Rousset. Combining horn rules and description logics in CARIN. Artificial Intelligence, 104:165-209, 1998.
20. J. W. Lloyd. Foundations of Logic Programming (2nd edition). Springer-Verlag, 1987.
21. B. Motik. On the properties of metamodeling in OWL. In ISWC2005, pages 548-562, 2005.
22. T. C. Przymusinski. On the semantics of stratified deductive databases. In Proceedings of the Workshop on the Foundations of Deductive Databases and Logic Programming, pages 433-443, Washington, DC, USA, 1986.
23. G. Yang and M. Kifer. Well-founded optimism: Inheritance in frame-based knowledge bases. In ODBASE2002, Irvine, California, 2002.
24. G. Yang, M. Kifer, and C. Zhao. FLORA-2: A rule-based knowledge representation and inference infrastructure for the semantic web. In ODBASE2003, Catania, Sicily, Italy, 2003.
25. Y. Zou, T. Finin, and H. Chen. F-OWL: an inference engine for the semantic web. In FAABS2004, Greenbelt, USA, 2004.