An efficient implementation of equivalence relations in OWL via rule and query rewriting

Proceedings - 2013 IEEE 7th International Conference on Semantic Computing, ICSC 2013

Volumn , Issue , 2013, Pages 260-263

  Krieger, Hans Ulrich ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84893950312     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSC.2013.51     Document Type: Conference Paper

References (7)

1. H.-U. Krieger, "A temporal extension of the Hayes/ter Horst entailment rules and an alternative to W3C's n-Ary relations," in Proceedings of the 7th International Conference on Formal Ontology in Information Systems (FOIS 2012), 2012, pp. 323-336.
2. A. Kiryakov, D. Ognyanov, and D. Manov, "OWLIM-A pragmatic semantic repository for OWL," in Proceedings of the International Workshop on Scalable Semantic Web Knowledge Base Systems, 2005, pp. 182-192.
3. D. Reynolds, "Jena rules tutorial," in Jena User Conference, 2006, PowerPoint presentation.
4. H. J. ter Horst, "Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary," Journal of Web Semantics, vol. 3, pp. 79-115, 2005.
5. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms. Cambridge, MA: MIT Press, 1990.
6. M. Stocker and M. Smith, "Owlgres: A scalable OWL reasoner," in Proceedings of the 5th OWLED Workshop "OWL Experiences and Directions", 2008.
7. V. Kolovski, Z. Wu, and G. Eadon, "Optimizing enterprise-scale OWL 2 RL reasoning in a relational database system," in Proceedings of the 9th International Semantic Web Conference, 2010.