research-article

A Prolog library for OWL RL

Author:

Jesús M. Almendros-JiménezAuthors Info & Claims

LID '11: Proceedings of the 4th International Workshop on Logic in Databases

Pages 49 - 56

https://doi.org/10.1145/1966357.1966367

Published: 25 March 2011 Publication History

Abstract

In this paper we describe the development of a Prolog library for OWL RL. OWL RL has been recently proposed by the W3C consortium as a fragment of OWL 2 for which reasoning can be done efficiently. In this context, we have studied how to implement a Prolog library based on OWL RL. By means of Prolog rules we are able to infer new knowledge from a given ontology. The OWL RL library has been implemented under the SWI-Prolog interpreter and is based on the RDF library provided by the SWI-Prolog environment, in such a way that OWL triples are computed and stored in secondary memory.

References

[1]

{ABE06} J. M. Almendros-Jiménez, A. Becerra-Terón, and Francisco J. Enciso-Baños. Magic sets for the XPath language. Journal of Universal Computer Science, 12(11):1651--1678, 2006.

[2]

{ABE08} J. M. Almendros-Jiménez, A. Becerra-Terón, and Francisco J. Enciso-Baños. Querying XML documents in logic programming. Theory and Practice of Logic Programming, 8(3):323--361, 2008.

Digital Library

[3]

{ABE09} J. M. Almendros-Jiménez, A. Becerra-Terón, and F. J. Enciso-Baños. Integrating XQuery and Logic Programming. In Proceedings of the 17th International Conference on Aplications of Declarative Programming and Knowledge Management, INAP'07 and 21th Workshop on (Constraint) Logic Programming, WLP'07, pages 117--135, Heidelberg, Germany, 2009. Springer LNAI, 5437.

[4]

{Alm08} J. M. Almendros-Jiménez. An RDF Query Language based on Logic Programming. In Proceedings of the 3rd Int'l Workshop on Automated Specification and Verification of Web Systems. Electronic Notes on Theoretical Computer Science (200), 67--85, 2008.

Digital Library

[5]

{Alm09a} J. M. Almendros-Jiménez. An Encoding of XQuery in Prolog. In Procs of the Sixth International XML Database Symposium XSym'09, at VLDB'09, pages 145--155, Heidelberg, Germany, 2009. Springer, LNCS 5679.

Digital Library

[6]

{Alm09b} J. M. Almendros-Jiménez. Extending XQuery for Semantic Web Reasoning. In Procs of the International Conference on Applications of Declarative Programming and Knowledge Management, INAP'09, pages 109--124, 2009.

[7]

{Alm09c} J. M. Almendros-Jiménez. Ontology Querying and Reasoning with XQuery. In Proceedings of the PLAN-X 2009: Programming Language Techniques for XML, An ACM SIGPLAN Workshop co-located with POPL 2009. http://db.ucsd.edu/planx2009/papers.html, 2009.

[8]

{BCM⁺03} F. Baader, D. Calvanese, D. L. McGuinness, P. Patel-Schneider, and D. Nardi. The description logic handbook: theory, implementation, and applications. Cambridge Univ Press, 2003.

Digital Library

[9]

{BEH⁺02} Erol Bozsak, Marc Ehrig, Siegfried Handschuh, Andreas Hotho, Alexander Maedche, Boris Motik, et al. KAON - Towards a Large Scale Semantic Web. In E-commerce and Web technologies: Third International Conference, EC-Web 2002, pages 304--313. Springer, 2002.

Digital Library

[10]

{BG04} Dan Brickley and R. V. Guha. RDF Vocabulary Description Language 1.0: RDF Schema. Technical report, http://www.w3.org/TR/rdf-s chema/, 2004.

[11]

{BLHL⁺01} T. Berners-Lee, J. Hendler, O. Lassila, et al. The semantic web. Scientific american, 284(5):28--37, 2001.

[12]

{EIKP08} T. Eiter, G. Ianni, T. Krennwallner, and A. Polleres. Rules and ontologies for the semantic web. In Reasoning Web, pages 1--53. Springer, LNCS 5224, 2008.

Digital Library

[13]

{GHVD03} Benjamin N. Grosof, Ian Horrocks, Raphael Volz, and Stefan Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In Proc. of the International Conference on World Wide Web, pages 48--57, NY, USA, 2003. ACM Press.

Digital Library

[14]

{GKV97} E. Grädel, P. G. Kolaitis, and M. Y. Vardi. On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic, 3(1):53--69, 1997.

[15]

{GMF⁺03} J. H. Gennari, M. A. Musen, R. W. Fergerson, W. E. Grosso, M. Crubézy, H. Eriksson, N. F. Noy, and S. W. Tu. The evolution of Protégé: an environment for knowledge-based systems development. International Journal of Human-Computer Studies, 58(1):89--123, 2003.

Digital Library

[16]

{Gro09} W3C Working Group. OWL 2 Ontology Web Language. Technical report, http://www.w3.org/TR/owl2-overview/, 2009.

[17]

{HHP08} A. Hogan, A. Harth, and A. Polleres. SAOR: Authoritative Reasoning for the Web. In Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web, pages 76--90. Springer-Verlag, 2008.

Digital Library

[18]

{HMS08} U. Hustadt, B. Motik, and U. Sattler. Deciding expressive description logics in the framework of resolution. Information and Computation, 206(5):579--601, 2008.

Digital Library

[19]

{HMW08} V. Haarslev, R. Möller, and S. Wandelt. The revival of structural subsumption in tableau-based description logic reasoners. In Proceedings of the 2008 International Workshop on Description Logics (DL2008), CEUR-WS, pages 701--706, 2008.

[20]

{KC04} Graham Klyne and Jeremy J. Carroll. Resource Description Framework (RDF): Concepts and Abstract Syntax. Technical report, http://www.w3. org/TR/2004/REC-rdf-concepts-20040210/, 2004.

[21]

{LSK08} G. Lukacsy, P. Szeredi, and B. Kadar. Prolog based description logic reasoning. In Proceedings of the 24th International Conference on Logic Programming (ICLP'08), pages 455--469, Heidelberg, Germany, 2008. Springer, LNCS 5366.

Digital Library

[22]

{LTBS04} Loredana Laera, Valentina A. M. Tamma, Trevor J. M. Bench-Capon, and Giovanni Semeraro. SweetProlog: A System to Integrate Ontologies and Rules. In Grigoris Antoniou and Harold Boley, editors, RuleML, pages 188--193, Heidelberg, 2004. Springer, LNCS 3323.

[23]

{MGH⁺09} Boris Motik, Bernardo Cuenca Grau, Ian Horrocks, Zhe Wu, Achille Fokoue, and Carsten Lutz. OWL 2 Web Ontology: Reasoning in OWL 2 RL and RDF Graphs using Rules. Technical report, http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules, 2009.

[24]

{MPG07} S. Munoz, J. Pérez, and C. Gutierrez. Minimal deductive systems for RDF. In Proceedings of the 4th European conference on The Semantic Web: Research and Applications, page 53, Heidelberg, Germany, 2007. Springer, LNCS 4519.

Digital Library

[25]

{MPSG09} Boris Motik, Peter F. Patel-Schneider, and Bernardo Cuenca Grau. OWL 2 Web Ontology Language Direct Semantics. Technical report, http://www.w3.org/TR/owl2-direct-semantics/, 2009.

[26]

{Sch09} Michael Schneider. OWL 2 Web Ontology Language RDF-Based Semantics. Technical report, http://www.w3.org/TR/owl2-rdf-based-semantics/, 2009.

[27]

{SPG⁺07} Evren Sirin, Bijan Parsia, Bernardo C. Grau, Aditya Kalyanpur, and Yarden Katz. Pellet: A practical OWL-DL reasoner. Web Semantics: Science, Services and Agents on the World Wide Web, 5(2):51--53, June 2007.

Digital Library

[28]

{tH04} Herman J. ter Horst. Extending the rdfs entailment lemma. In International Semantic Web Conference, pages 77--91. Springer, LNCS 3298, 2004.

Digital Library

[29]

{TH06} D. Tsarkov and I. Horrocks. FaCT++ Description Logic Reasoner: System Description. In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006), pages 292--297. Springer, LNAI 4130, 2006.

Digital Library

[30]

{VWM09} V. Vassiliadis, J. Wielemaker, and C. Mungall. Processing OWL2 ontologies using Thea: An application of logic programming. In Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009), 2009.

[31]

{WHV08} J. Wielemaker, Z. Huang, and L. Van Der Meij. SWI-Prolog and the web. Theory and Practice of Logic Programming, 8(03):363--392, 2008.

Digital Library

Cited By

Almendros-Jiménez JIribarne L(2012)Model Validation in Ontology Based TransformationsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.98.498(17-30)Online publication date: 22-Oct-2012
https://doi.org/10.4204/EPTCS.98.4
Hirankitti VMai T(2012)A meta-logical approach for reasoning with an OWL 2 ontologyJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-012-0142-y3:4(293-303)Online publication date: 28-Jun-2012
https://doi.org/10.1007/s12652-012-0142-y
Almendros-Jiménez J(2012)OWL RL in logic programmingProceedings of the 6th international conference on Rules on the Web: research and applications10.1007/978-3-642-32689-9_20(248-255)Online publication date: 27-Aug-2012
https://dl.acm.org/doi/10.1007/978-3-642-32689-9_20

Index Terms

A Prolog library for OWL RL
1. Information systems
  1. Data management systems
    1. Database management system engines
      1. Database query processing
    2. Query languages
2. Theory of computation
  1. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)
      2. Database query processing and optimization (theory)

Recommendations

OWL rules: A proposal and prototype implementation

Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present the Semantic Web Rule Language (SWRL), a Horn ...
RuQAR: Reasoning Framework for OWL 2 RL Ontologies
The Semantic Web: ESWC 2014 Satellite Events
Abstract
This paper addresses the first release of the Rule-based Query Answering and Reasoning framework (RuQAR). The tool provides the ABox reasoning and query answering with OWL 2 RL ontologies executed by forward chaining rule reasoners. We describe ...
PREMIS OWL

In this article, we present PREMIS OWL. This is a semantic formalisation of the PREMIS 2.2 data dictionary of the Library of Congress. PREMIS 2.2 are metadata implementation guidelines for digitally archiving information for the long term. Nowadays, the ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

LID '11: Proceedings of the 4th International Workshop on Logic in Databases

March 2011

63 pages

ISBN:9781450306096

DOI:10.1145/1966357

Program Chairs:
George Fletcher
TU Eindhoven,The Netherlands
,
Sławek Staworko
University of Lille, France

Copyright © 2011 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 March 2011

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Ministerio de Ciencia e Innovación

Conference

EDBT/ICDT '11

EDBT/ICDT '11: EDBT/ICDT '11 joint conference

March 25, 2011

Uppsala, Sweden

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
100
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Almendros-Jiménez JIribarne L(2012)Model Validation in Ontology Based TransformationsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.98.498(17-30)Online publication date: 22-Oct-2012
https://doi.org/10.4204/EPTCS.98.4
Hirankitti VMai T(2012)A meta-logical approach for reasoning with an OWL 2 ontologyJournal of Ambient Intelligence and Humanized Computing10.1007/s12652-012-0142-y3:4(293-303)Online publication date: 28-Jun-2012
https://doi.org/10.1007/s12652-012-0142-y
Almendros-Jiménez J(2012)OWL RL in logic programmingProceedings of the 6th international conference on Rules on the Web: research and applications10.1007/978-3-642-32689-9_20(248-255)Online publication date: 27-Aug-2012
https://dl.acm.org/doi/10.1007/978-3-642-32689-9_20

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents