OntoDLV: An ASP-based system for enterprise ontologies

Journal of Logic and Computation

Volumn 19, Issue 4, 2009, Pages 643-670

  Ricca, Francesco ^a   Gallucci, Lorenzo ^a   Schindlauer, Roman ^a   Dell'Armi, Tina ^a   Grasso, Giovanni ^a   Leone, Nicola ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

Answer set programming; Disjunctive logic programming; Enterprise ontologies; Logic programming; Ontology languages; OWL

Indexed keywords

ANSWER SET PROGRAMMING; DISJUNCTIVE LOGIC PROGRAMMING; ENTERPRISE ONTOLOGIES; ONTOLOGY LANGUAGES; OWL;

LINGUISTICS; LOGIC PROGRAMMING; QUERY LANGUAGES; TEXT PROCESSING;

ONTOLOGY;

EID: 68549128691     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exn042     Document Type: Conference Paper

References (50)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley Publishing Company, Massachusetts, 1995.
2. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and C. Teodor Przymusinski. HiLog: a foundation for higher-order logic programming. JLP, 15, 187-230, 1993.
3. G. Antoniou, C. V. Damsio, B. Grosof, I. Horrocks, M. Kifer, J. Maluszynski, and P. F. Patel-Schneider. Combining rules and ontologies. Asian survey, 13-D3, 2005.
4. K. R. Apt, H. A. Blair, and A. Walker. Towardsa theory of declarative knowledge. In Proceedings of the Foundations of Deductive Databases and Logic Programming, pp. 89-148. Morgan Kaufmann Publishers Inc., San Francisco, CA, 1988.
5. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi, and P. F. Patel-Schneider, eds. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge, 2003.
6. S. Bechhofer, R. Möller, and P. Crowther. The dig description logic interface. In Proceedings of the Description Logics, CEUR Workshop, pp. 21-29. CEUR-WS.org, 2003.
7. F. Calimeri, S. Cozza, and G. Ianni. External sources of knowledge and value invention in logic programming. Annals of Mathematics and Artificial Intelligence, 50, 333-361, 2007.
8. W. Chen, M. Kifer, and D. S. Warren. Hilog: a foundation for higher-order logic programming. JLP, 15,187-230, 1993.
9. W. Chen and D. S. Warren. C-logic of complex objects. In Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 369-378.ACM Press, 1989.
10. R. Curia, M. Ettorre, S. Iiritano, and P. Rullo. Textual document per-processing and feature extraction in OLEX. In Proceedings of Data Mining 2005, Skiathos, Greece, 2005.
11. T. Dell'Armi, W. Faber, G. Ielpa, N. Leone, and G. Pfeifer. Aggregate functions in disjunctive logic programming: semantics, complexity, and implementation in DLV. In Proceedings of the IJCAI 2003, pp. 847-852, Acapulco, Mexico, 2003.
12. T. Eiter, G. Gottlob, and H. Mannila. Disjunctive datalog. ACM TODS, 22, 364-418, 1997.
13. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A uniform integration of higher-order reasoning and external evaluations in answer set programming. In Proceedings of the IJCAI05, pp. 90-96. Professional Book Center, 2005.
14. T. Eiter, T. Lukasiewicz, R. Schindlauer, and H. Tompits. Combining answer set programming with description logics for the semantic web. In Proceedings of the KR2004, pp. 141-151. AAAI Press, 2004.
15. L. Gallucci, G. Grasso, N. Leone, and F. Ricca. Interoperability mechanisms for ontology management systems. In Proceedings of CILC'07, S. Agata di Messina, 21-22 Giugno 2007, 2007. Informal Proceedings. Available at http://aleph.unime.it/cilc2007
16. L. Gallucci and F. Ricca. Visual querying and application programming interface for an ASP-based ontology language. In Proceedings of the SEA'07 Workshop, Arizona, USA, 2007, pp. 56-70. CEUR-WS.org, 1998.
17. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. NGC, 9, 365-385, 1991.
18. S. Greco, N. Leone, and P. Rullo. COMPLEX: an object-oriented logic programming system. IEEE TKDE, 4, 344-359, 1992.
19. B. N. Grosof, I. Horrocks, R. Volz, and S. Decker. Description logic programs: combining logic programs with description logics. In Proceedings of the WWW2003, Budapest, Hungary, pp. 48-57. ACM Press, 2003.
20. Y. Guo, Z. Pan, and J. Heflin.An evaluation of knowledge base systems for large OWL datasets. In Third International SemanticWeb Conference (ISWC 2004). Springer-Verlag, NewYork, Inc., 2004.
21. V. Haarslev and R. Möller. Racer: a core inference engine for the semantic web, In Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools, Y. Sure and O. Corcho, eds, pp. 27-36. CEUR-WS.org, 2003.
22. S. Heymans and D. Vermeir. Integrating semantic web reasoning and answer set programming. In Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd International ASP'03 Workshop. M. D. Vos and A. Provetti, eds, CEUR-WS.org, 2003.
23. I. Horrocks. DAML+OIL: a description logic for the semantic web. IEEE Bulletin of the Technical Committee on Data Engineering, 25, 4-9, 2002.
24. I. Horrocks. DAML+OIL: a reason-able web ontology language. In Proceedings of the 8th International Conference on Extending Database Technology, Advances in Database Technology (EDBT 2002), C. S. Jensen et al., eds, Vol. 2287 of Lecture Notes in Computer Science, Springer, 2002.
25. I. Horrocks and P. F. Patel-Schneider. Reducing OWL entailment to description logic satisfiability. In Proceedings of the Second International Semantic Web Conference (ISWC 2003), D. Fensel et al., eds, Vol. 2870 of Lecture Notes in Computer Science, Springer, 2003.
26. I. Horrocks and P. F. Patel-Schneider. A proposal for an owl rules language. In Proceedings of the 13th international conference on World Wide Web, (WWW 2004), pp. 723-731.ACM Press, 2004.
27. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. Swrl: a semantic web rule language combining owl and ruleml, 2004. W3C Member Submission. Available at http://www.w3.org/Submission/SWRL/ (Last accessed on 21 July 2008).
28. I. Horrocks, P. F. Patel-Schneider, and F. van Harmelen. From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics, 1, 7-26, 2003.
29. U. Hustadt, B. Motik, and U. Sattler. Reducing shiq-description logic to disjunctive datalog programs. In Proceedings of the KR2004, pp. 152-162, Canada, 2004.
30. Inc. Red Hat. The hibernate framework for object/relational persistence. 2007.Available at http: //www.hibernate.org/ (Last accessed on 21 July 2008).
31. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. JACM, 42,741-843, 1995.
32. N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, and F. Scarcello. The DLV system for knowledge representation and reasoning. ACM TOCL, 7, 499-562, 2006.
33. M. Liu, G. Dobbie, and T. W. Ling. Logical foundation for deductive object-oriented databases. Symposium on Principles of Database Systems, 27, 117-151, 2002.
34. D. Maier. A logic for objects. In Proceedings of the Workshop on Foundations of Deductive Databases and Logic Programming, pp. 6-26. ACM Press, 1986.
35. Mindswap. Pellet performance, 2003. Available at http://www.mindswap.org/ 2003/pellet/ performance.shtml (Last accessed on 21 July 2008).
36. B. Motik, U. Sattler, and R. Studer. Query answering for owl-dl with rules. Journal of Web Semantics, 3, 41-60, 2005.
37. B. Parsia and E. Sirin. Pellet: an OWL DL reasoner. In Third International Semantic Web Conference (ISWC 2004) - Posters Track. Springer-Verlag, New York, Inc., 2004.
38. T. C. Przymusinski. On the declarative semantics of deductive databases and logic programs. In Proceedings of the Foundations of Deductive Databases and Logic Programming, pp. 193-216, Morgan Kaufmann Publishers Inc., San Francisco, CA, 88.
39. + system. Journal of Applied Logics, 5, 545-573, 2007.
40. R. Rosati. Dl+log: tight integration of description logics and disjunctive datalog. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning, P. Doherty et al., eds, pp. 68-78. AAAI Press, 2006.
41. R. Rosati. Integrating ontologies and rules: semantic and computational issues. In Proceedings of the Reasoning Web, pp. 128-151. Springer-Verlag, New York, Inc., 2006.
42. M. Ruffolo, N. Leone, M. Manna, D. Sacca', and A. Zavatto. Exploiting ASP for semantic information extraction. In Proceedings of the ASP05, Bath, UK, 2005.
43. M. K. Smith, C. Welty, and D. L. McGuinness. OWL web ontology language guide. W3C candidate recommendation. 2003. Available at http://www.w3.org/TR/ owl-guide/ (Last accessed on 21 July 2008).
44. T. Swift. Deduction in ontologies via asp. In LPNMR, pp. 275-288, 2004.
45. D. Tsarkov and I. Horrocks. Fact++ description logic reasoner: system description. In Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006), U. Furbach and N. shankar, eds, Vol. 4130 of Lecture Notes in Computer Science, Springer, 2006.
46. D. Turi. The DIG interface project. 2007. http://dig.sourceforge.net/ (Last accessed on 21 July 2008).
47. K. Van Belleghem, M. Denecker, and D. De Schreye. A strong correspondence between description logics and open logic programming. In Proceedings of the ICLP, pp. 346-360, MIT Press, Massachusetts, 1997.
48. W3C. The word wide web consortium. 1994. Available at http://www.w3.org (Last accessed on 21 July 2008).
49. W3C. The resource description framework. 2006. Available at http://www.w3.org/RDF/ (Last accessed on 21 July 2008).
50. G. Yang, M. Kifer, and C. Zhao. 'flora-2: A rule-based knowledge representation and inference infrastructure for the semantic web.'In Proceedings of the CoopIS/DOA/ODBASE, pp. 671-688. Springer-Verlag, New York, Inc., 2003.