Abstract
Ontology-based reasoning is considered a crucial task in the area of knowledge management. In this context, the interest in approaches that resort to Datalog (and its extensions) for implementing various reasoning tasks over ontologies is growing. Nonetheless, looking from the developer point of view, one can notice that the editing environments for ontologies on the one hand and Datalog-like logic programs on the other hand are often developed independently and miss a common perspective. In this paper we face with this issue proposing the integration of two major development environments for Datalog programs and Ontologies, respectively: ASPIDE and protégé. We extended both systems with specific plugins that enable a synergic interaction between the two development environments. The developer can then handle both ontologies and logic-based reasoning over them by exploiting specific tools integrated to work together.
This work has been partially supported by the Calabrian Region under PIA (Pacchetti Integrati di Agevolazione industria, artigianato e servizi) project KnowRex POR Calabria FESR 2007-2013 approved in BURC n. 49 s.s. n. 1 16/12/2010.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Calì, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: Proc. of PODS 2009, pp. 77–86. ACM (2009)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The dl-lite family. Journal of Automated Reasoning 39(3), 385–429 (2007)
W3C: The World Wide Web Consortium (2012), http://www.w3.org/
Heymans, S., Eiter, T., Xiao, G.: Tractable reasoning with dl-programs over datalog-rewritable description logics. In: Proc. of ECAI 2010, pp. 35–40. IOS Press (2010)
Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Data complexity of query answering in description logics. Artif. Intell. 195, 335–360 (2013)
Chortaras, A., Trivela, D., Stamou, G.: Optimized query rewriting for OWL 2 QL. In: Bjørner, N., Sofronie-Stokkermans, V. (eds.) CADE 2011. LNCS (LNAI), vol. 6803, pp. 192–206. Springer, Heidelberg (2011)
Acciarri, A., Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Palmieri, M., Rosati, R.: QUONTO: querying ontologies. In: Proc. of AAAI 2005, vol. 4, pp. 1670–1671. AAAI Press (2005)
Pérez-Urbina, H., Motik, B., Horrocks, I.: A comparison of query rewriting techniques for dl-lite. In: Proceedings of the 22st International Workshop on Description Logics, DL 2009, vol. 477. CEUR-WS.org (2009)
Rosati, R., Almatelli, A.: Improving Query Answering over DL-Lite Ontologies. In: Proc. of KR 2010, pp. 290–300. AAAI Press (2010)
Stocker, M., Smith, M.: Owlgres: A scalable owl reasoner. In: Dolbear, C., Ruttenberg, A., Sattler, U. (eds.) OWLED 2008, vol. 432. CEUR-WS.org (2008)
Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)
Polleres, A.: From sparql to rules (and back). In: Proc. of WWW 2007, pp. 787–796. ACM (2007)
Ianni, G., Krennwallner, T., Martello, A., Polleres, A.: A rule system for querying persistent RDFS data. In: Aroyo, L., et al. (eds.) ESWC 2009. LNCS, vol. 5554, pp. 857–862. Springer, Heidelberg (2009)
Febbraro, O., Reale, K., Ricca, F.: ASPIDE: Integrated development environment for answer set programming. In: Delgrande, J., Faber, W. (eds.) LPNMR 2011. LNCS, vol. 6645, pp. 317–330. Springer, Heidelberg (2011)
Stanford University: The Protégé Ontology Editor and Knowledge Acquisition System (2012), http://protege.stanford.edu
Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing 9, 365–385 (1991)
Febbraro, O., Leone, N., Reale, K., Ricca, F.: Extending aspide with user-defined plugins. In: CILC, vol. 857, pp. 236–240. CEUR-WS.org (2012)
Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., Scarcello, F.: The DLV System for Knowledge Representation and Reasoning. ACM Transactions on Computational Logic 7(3), 499–562 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nardi, B., Reale, K., Ricca, F., Terracina, G. (2013). An Integrated Environment for Reasoning over Ontologies via Logic Programming. In: Faber, W., Lembo, D. (eds) Web Reasoning and Rule Systems. RR 2013. Lecture Notes in Computer Science, vol 7994. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39666-3_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-39666-3_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39665-6
Online ISBN: 978-3-642-39666-3
eBook Packages: Computer ScienceComputer Science (R0)