Logo PTI
Polish Information Processing Society
Logo FedCSIS

Annals of Computer Science and Information Systems, Volume 17

Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems

Inference rules for OWL-P in N3Logic

DOI: http://dx.doi.org/10.15439/2018F102

Citation: Communication Papers of the 2018 Federated Conference on Computer Science and Information Systems, M. Ganzha, L. Maciaszek, M. Paprzycki (eds). ACSIS, Vol. 17, pages 2733 ()

Full text

Abstract. This paper presents OWL-P that is a lightweight formalism of OWL2. Before proposing our solution we have analyzed the OWL fragment that is actually used on the Web. OWL-P supports easy inferences by omitting complex language constructs. Moreover, we present inference rules for the proposal. Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created the Semantic Web logic for deductive RDF graph stores. We also tested experimentally our OWL-P how it deals with real data for reasoning.


  1. D. Tomaszuk, “Inference rules for RDF(S) and OWL in N3Logic,” arXiv preprint https://arxiv.org/abs/1601.02650, 2016.
  2. V. Kolovski, Z. Wu, and G. Eadon, “Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system,” The Semantic Web–ISWC 2010, pp. 436–452, 2010. http://dx.doi.org/10.1007/978-3-642-17746-0_28. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-17746-0_28
  3. D. Wood, M. Lanthaler, and R. Cyganiak, “RDF 1.1 Concepts and Abstract Syntax,” World Wide Web Consortium, W3C Recommendation, Feb. 2014. [Online]. Available: http://www.w3.org/TR/2014/REC-rdf11-concepts-20140225/
  4. D. Tomaszuk, L. Skonieczny, and D. Wood, “RDF Graph Partitions: A Brief Survey,” in BDAS, ser. Communications in Computer and Information Science, vol. 521. Springer, 2015. http://dx.doi.org/10.1007/978-3-319-18422-7_23. ISBN 978-3-319-18421-0 pp. 256–264.
  5. D. Arndt, R. Verborgh, J. De Roo, H. Sun, E. Mannens, and R. Van de Walle, “Semantics of Notation3 Logic: A solution for implicit quantification,” in Proceedings of the 9th International Web Rule Symposium, Aug. 2015. http://dx.doi.org/10.1007/978-3-319-21542-6_9.
  6. B. Harold, M. Dean, B. Grosof, M. Sintek, B. Spencer, S. Tabet, and G. Wagner, “FOL RuleML: The First-Order Logic Web Language,” Tech. Rep., Nov. 2004. [Online]. Available: http://ruleml.org/fol/
  7. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, M. Dean et al., “SWRL: A semantic web rule language combining OWL and RuleML,” World Wide Web Consortium, W3C Member Submission, May 2004. [Online]. Available: http://www.w3.org/Submission/2004/SUBM-SWRL-20040521/
  8. M. Kifer, “Rule interchange format: The framework,” in Web reasoning and rule systems. Springer, 2008, pp. 1–11. [Online]. Available: http://dx.doi.org/10.1007/978-3-540-88737-9_1
  9. M. Kifer and H. Boley, “RIF Overview,” World Wide Web Consortium, W3C Working Draft, Oct. 2009. [Online]. Available: https://www.w3.org/TR/2009/WD-rif-overview-20091001/
  10. N. Bassiliades and I. Vlahavas, “R-device: A deductive RDF rule language,” in Rules and Rule Markup Languages for the Semantic Web. Springer, 2004, pp. 65–80. [Online]. Available: http://dx.doi.org/10.1007/978-3-540-30504-0_6
  11. M. Sintek and S. Decker, “TRIPLE-An RDF Query, Inference, and Transformation Language,” in INAP, 2001. http://dx.doi.org/10.1007/3-540-48005-6_28 pp. 47–56.
  12. H. Knublauch, J. A. Hendle, and K. Idehen, “SPIN - Overview and Motivation,” World Wide Web Consortium, W3C Member Submission, Feb. 2011. [Online]. Available: http://www.w3.org/Submission/2011/SUBM-spin-overview-20110222/
  13. B. Harold, T. Athan, A. Paschke, A. Giurca, N. Bassiliades, G. Governatori, M. Palmirani, A. Wyner, G. Zou, and Z. Zhao, “Specification of Deliberation RuleML 1.01,” Tech. Rep., 2012. [Online]. Available: http://wiki.ruleml.org/index.php/Specification_of_Deliberation_RuleML_1.01
  14. B. Parsia, S. Rudolph, M. Krötzsch, P. Patel-Schneider, and P. Hitzler, “OWL 2 Web Ontology Language Primer (Second Edition),” World Wide Web Consortium, W3C Recommendation, Dec. 2012. [Online]. Available: http://www.w3.org/TR/2012/REC-owl2-primer-20121211/
  15. D. Reynolds, M. Kifer, A. Polleres, H. Boley, A. Paschke, and G. Hallmark, “RIF Core Dialect (Second Edition),” World Wide Web Consortium, W3C Recommendation, Feb. 2013. [Online]. Available: http://www.w3.org/TR/2013/REC-rif-core-20130205/
  16. M. Kifer and H. Boley, “RIF Basic Logic Dialect (Second Edition),” World Wide Web Consortium, W3C Recommendation, Feb. 2013. [Online]. Available: http://www.w3.org/TR/2013/REC-rif-bld-20130205/
  17. C. d. S. Marie, A. Paschke, and G. Hallmark, “RIF Production Rule Dialect (Second Edition),” World Wide Web Consortium, W3C Recommendation, Feb. 2013. [Online]. Available: http://www.w3.org/TR/2013/REC-rif-prd-20130205/
  18. A. Polleres, M. Kifer, and H. Boley, “RIF Datatypes and Built-Ins 1.0 (Second Edition),” World Wide Web Consortium, W3C Recommendation, Feb. 2013. [Online]. Available: http://www.w3.org/TR/2013/REC-rif-dtb-20130205/
  19. A. Horn, “On sentences which are true of direct unions of algebras,” The Journal of Symbolic Logic, vol. 16, no. 01, pp. 14–21, 1951. http://dx.doi.org/10.2307/2268661. [Online]. Available: http://dx.doi.org/10.2307/2268661
  20. M. Kifer and G. Lausen, “F-logic: a higher-order language for reasoning about objects, inheritance, and scheme,” in ACM SIGMOD Record, vol. 18, no. 2. ACM, 1989. http://dx.doi.org/10.1145/66926.66939 pp. 134–146. [Online]. Available: http://dx.doi.org/10.1145/66926.66939
  21. B. McBride, “Jena: A semantic web toolkit,” IEEE Internet computing, no. 6, pp. 55–59, 2002. http://dx.doi.org/10.1109/MIC.2002.1067737. [Online]. Available: http://dx.doi.org/10.1109/MIC.2002.1067737
  22. T. Rattanasawad, K. R. Saikaew, M. Buranarach, and T. Supnithi, “A review and comparison of rule languages and rule-based inference engines for the Semantic Web,” in Computer Science and Engineering Conference (ICSEC), 2013 International. IEEE, 2013. http://dx.doi.org/10.1109/ICSEC.2013.6694743 pp. 1–6. [Online]. Available:http://dx.doi.org/10.1109/ICSEC.2013.6694743
  23. “AllegroGraph 6.2.2 Reasoner Tutorial,” accessed: 2017-07-06. [Online]. Available: https://franz.com/agraph/support/documentation/ current/reasoner-tutorial.html
  24. F. Fischer, G. Unel, B. Bishop, and D. Fensel, “Towards a scalable, pragmatic knowledge representation language for the Web,” in Perspectives of Systems Informatics. Springer, 2010, pp. 124–134. [Online]. Available: http://dx.doi.org/10.1007/978-3-642-11486-1_11
  25. J. Hendler, “RDFS 3.0,” in W3C Workshop – RDF Next Steps. World Wide Web, 2010. [Online]. Available: https://www.w3.org/2009/12/rdf-ws/papers/ws31
  26. H. J. ter Horst, “Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary,” Web Semantics: Science, Services and Agents on the World Wide Web, vol. 3, no. 2, pp. 79–115, 2005. http://dx.doi.org/10.1016/j.websem.2005.06.001. [Online]. Available: http://dx.doi.org/10.1016/j.websem.2005.06.001
  27. B. Glimm, A. Hogan, M. Krotzsch, and A. Polleres, “OWL LD: Entailment Ruleset and Implementational Notes.” [Online]. Available: http://semanticweb.org/OWLLD/
  28. B. Motik, B. C. Grau, I. Horrocks, A. Fokoue, and Z. Wu, “OWL 2 Web Ontology Language Profiles (Second Edition),” World Wide Web Consortium, W3C Recommendation, Dec. 2012. [Online]. Available: http://www.w3.org/TR/2012/REC-owl2-profiles-20121211/
  29. M. Schmachtenberg, C. Bizer, and H. Paulheim, “Adoption of the linked data best practices in different topical domains,” in The Semantic Web–ISWC 2014. Springer, 2014, pp. 245–260. [Online]. Available: http://dx.doi.org/10.1007/978-3-319-11964-9_16
  30. R. Isele, J. Umbrich, C. Bizer, and A. Harth, “LDSpider: An open-source crawling framework for the Web of Linked Data,” in Proceedings of 9th International Semantic Web Conference (ISWC 2010) Posters and Demos, 2010.
  31. A. Hogan, M. Arenas, A. Mallea, and A. Polleres, “Everything You Always Wanted to Know About Blank Nodes,” Web Semantics: Science, Services and Agents on the World Wide Web, vol. 27, no. 1, 2014. http://dx.doi.org/10.1016/j.websem.2014.06.004. [Online]. Available: http://dx.doi.org/10.1016/j.websem.2014.06.004
  32. E. Liarou, S. Idreos, and M. Koubarakis, “Evaluating conjunctive triple pattern queries over large structured overlay networks,” in The Semantic Web-ISWC 2006. Springer, 2006, pp. 399–413. [Online]. Available: http://dx.doi.org/10.1007/11926078_29
  33. K. Degtyarenko, P. De Matos, M. Ennis, J. Hastings, M. Zbinden, A. McNaught, R. Alcántara, M. Darsow, M. Guedj, and M. Ashburner, “ChEBI: a database and ontology for chemical entities of biological interest,” Nucleic acids research, vol. 36, no. suppl 1, pp. D344–D350, 2008. http://dx.doi.org/10.1093/nar/gkm791. [Online]. Available: http://dx.doi.org/10.1007/10.1093/nar/gkm791
  34. M. Ashburner, C. A. Ball, J. A. Blake, D. Botstein, H. Butler, J. M. Cherry, A. P. Davis, K. Dolinski, S. S. Dwight, J. T. Eppig et al., “Gene Ontology: tool for the unification of biology,” Nature genetics, vol. 25, no. 1, pp. 25–29, 2000. http://dx.doi.org/10.1038/75556. [Online]. Available: http://dx.doi.org/10.1038/75556
  35. C. E. Lipscomb, “Medical subject headings (MeSH),” Bulletin of the Medical Library Association, vol. 88, no. 3, p. 265, 2000.
  36. R. Verborgh and J. De Roo, “Drawing conclusions from linked data on the web: The EYE reasoner,” IEEE Software, vol. 32, no. 3, pp. 23–27, 2015. http://dx.doi.org/10.1109/MS.2015.63. [Online]. Available: http://dx.doi.org/10.1109/MS.2015.63