F-Logic#: Loosely coupling F-Logic rules and ontologies

Proceedings - 2010 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2010

Volumn 1, Issue , 2010, Pages 248-255

  Heymans, Stijn ^a   Korf, Roman ^b   Erdmann, Michael ^b   Pührer, Jörg ^a   Eiter, Thomas ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b Ontoprise GmbH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCIAL IMPLEMENTATION; DESCRIPTION LOGIC; F-LOGIC; INTERCHANGE FORMATS; KNOWLEDGE BASIS; LARGE AMOUNTS OF DATA; LOGICAL RULES; LOOSE COUPLINGS; LOOSELY COUPLING; ONTOLOGIES AND RULES;

DATA DESCRIPTION; SEMANTICS;

ONTOLOGY;

EID: 78649839858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WI-IAT.2010.44     Document Type: Conference Paper

References (27)

1. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. CUP, 2003.
2. C. Baral and V. S. Subrahmanian. Dualities between Alternative Semantics for Logic Programming and Nonmonotonic Reasoning. J. Autom. Reasoning, 10(3):399-420, 1993.
3. H. Boley and M. Kifer. RIF Basic Logic Dialect. W3C, 2009. Candidate Recommendation.
4. H. Boley and M. Kifer. RIF Framework for Logic Dialects. W3C, 2009. Candidate Recommendation.
5. E. Dantsin, T. Eiter, G. Gottlob, and A. Voronkov. Complexity and Expressive Power of Logic Programming. ACM Computing Surveys (CSUR), 33(3):374-425, 2001.
6. J. de Bruijn. RIF RDF and OWL Compatibility. W3C, 2009. http://www.w3.org/2005/rules/wiki/SWC.
7. J. de de Bruijn and S. Heymans. A Semantic Framework for Language Layering in WSML. In Proc. 1st Int'l Conf. Web Reasoning and Rule Systems (RR2007), pp. 103-117. 2007.
8. T. Eiter, G. Ianni, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining Answer Set Programming with Description Logics for the Semantic Web. Artificial Intelligence, 172(12-13):1495-1539, 2008.
9. A. Van Gelder, K. Ross, and J. S. Schlipf. The Well-Founded Semantics for General Logic Programs. JACM, 38(3):620-650, 1991.
10. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In Proc. Fifth Int'l Conference on Logic Programming, pp. 1070-1080. The MIT Press, 1988.
11. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. WWW 2003, pp. 48-57. ACM, 2003.
12. I. Horrocks and P. F. Patel-Schneider. Reducing OWL Entailment to Description Logic Satisfiability. In Proc. ISWC 2003, pp. 17-29, 2003.
13. U. Hustadt, B. Motik, and U. Sattler. Reducing SHIQ Description Logic to Disjunctive Datalog Programs. In Proc. KR 2004, pp. 152-162, Whistler, Canada, 2004. AAAI Press.
14. H. Kattenstroth, W. May, and F. Schenk. Combining OWL with F-Logic Rules and Defaults. In Proc. ALPSWS 2007, pp. 60-75, 2007.
15. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-oriented and Frame-based Languages. J. ACM, 42(4):741-843, 1995.
16. M. Krötzsch, S. Rudolph, and P. Hitzler. Description Logic Rules. In Proc. 18th European Conf. on Artificial Intelligencen (ECAI-08), pp. 80-84. IOS Press, 2008.
17. S. Liang, P. Fodor, H. Wan, and M. Kifer. OpenRuleBench: an Analysis of the Performance of Rule Engines. In Proc. WWW 2009, pp. 601-610. ACM, 2009.
18. M. and G. Schreiber. OWL Web Ontology Language Reference. W3C, 2004. W3C Recommendation 10 2004.
19. B. Motik, U. Sattler, and R. Studer. Query answering for OWL-DL with rules. Journal of Web Semantics, 3(1):41-60, 2005.
20. ontoprise GmbH, An der RaumFabrik 29, 76137 Karlsruhe, Germany. OntoBroker Enterprise - Version 5.3, 2009. http://www.ontoprise.de/help/index. jsp.
21. ontoprise GmbH, An der RaumFabrik 29, 76137 Karlsruhe, Germany. OntoStudio Manual - Version 2.3.0, 2009. http://www.ontoprise.de/help/index.jsp.
22. W3C OWL Working Group. SPARQL Query Language for RDF. W3C Recommendation, 15 2008. http://www.w3.org/TR/rdf-sparql-query/.
23. W3C OWL Working Group. SPARQL Update. W3C Member Submission, 15 2008. http://www.w3.org/Submission/SPARQL-Update/.
24. W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, 27 2009. http://www.w3.org/TR/owl2-overview/.
25. R. Rosati. On the Decidability and Complexity of Integrating Ontologies and Rules. Journal of Web Semantics, 3(1):61-73, 2005.
26. R. Rosati. DL+log: Tight Integration of Description Logics and Disjunctive Datalog. In Proc. KR 2006, pp. 68-78, 2006.
27. G. Yang and M. Kifer. Flora-2 User's Manual, 2001. http://flora. sourceforge.net/.