We extend the description logic EL++ with reflexive roles
and range restrictions, and show that subsumption remains tractable if
a certain syntactic restriction is adopted. We also show that subsumption
becomes PSpace-hard (resp. undecidable) if this restriction is weakened
(resp. dropped). Additionally, we prove that tractability is lost when
symmetric roles are added: in this case, subsumption becomes ExpTime-
hard
What is the Semantic Web? Read on for a brief introduction to the Semantic Web, how to get started using it, and to understand why we should invest in making our content semantic.
Ontotext GraphDB is a highly-efficient and robust graph database with RDF and SPARQL support. This documentation is a comprehensive guide, which explains every feature of GraphDB as well as topics such as setting up a repository, loading and working with data, tuning its performance, scaling, etc.
I. Niles, and A. Pease. Proceedings of the International Conference on Formal Ontology in Information Systems - Volume 2001, page 2--9. New York, NY, USA, ACM, (2001)
K. Lüttich, T. Mossakowski, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 17th International Workshop (WADT 2004), volume 3423 of Lecture Notes in Computer Science, page 106-125. Springer; Berlin; http://www.springer.de, (2005)
O. Kutz, J. Hastings, and T. Mossakowski. 15th International Conference on Artificial Intelligence: Methodology, Systems, Applications, volume 7557 of Lecture Notes in Computer Science, page 103-111. Springer, (2012)
V. Chaudhri, W. Jarrold, and J. Pacheco. OWL: Experiences and Directions Workshop (OWLED), volume 216 of CEUR Workshop Proceedings, CEUR-WS.org, (2006)
G. Hillairet, F. Bertrand, J. Lafaye, and others. Proceedings of the 4th International Workshop on Semantic Web Enabled Software Engineering, SWESE, (2008)
A. Hildisch, J. Steurer, and R. Stolle. Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems, page 4--. Washington, DC, USA, IEEE Computer Society, (2007)
A. Di Iorio, S. Peroni, and F. Vitali. Proceedings of the 17th international conference on Knowledge engineering and management by the masses, page 391--400. Berlin, Heidelberg, Springer-Verlag, (2010)
T. Rahmani, D. Oberle, and M. Dahms. Model Driven Engineering Languages and Systems, volume 6395 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-16129-2_18.(2010)
I. Horrocks, and U. Sattler. Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, page 199-204. Morgan Kaufmann, (2001)
I. Horrocks, O. Kutz, and U. Sattler. Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, page 57-67. AAAI Press, (2006)
J. Bock, T. Tserendorj, Y. Xu, J. Wissmann, and S. Grimm. Proceedings of the 6th International Workshop on OWL: Experiences and Directions (OWLED 2009), 529, http://ceur-ws.org, CEUR Workshop Proceedings, (2009)
G. Gottlob, G. Orsi, and A. Pieris. (2011)cite arxiv:1112.0343Comment: Extended version of "Ontological Queries: Rewriting and Optimization" presented at ICDE 2011.
M. Faerber, O. Archne, F. Jochaud, and S. Jablonski. Umweltbundesamt http://www.umweltbundesamt.de, page 21-30. Umweltbundesamt http://www.umweltbundesamt.de, (2008)ISSN 1862-4804.
H. Knublauch, R. Fergerson, N. Noy, and M. Musen. The Semantic Web -- ISWC 2004, volume 3298 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (2004)