Horrocks, I.: OWL web ontology language semantics and abstract syntax, p.3, 2004. ,
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics, Journal of Artificial Intelligence Research, vol.12, pp.199-217, 2000. ,
Universality of data retrieval languages, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '79, 1979. ,
DOI : 10.1145/567752.567763
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 1991. ,
An automata-based algorithm for description logics around SRIQ, Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning, 2008. ,
Regular path queries in expressive description logics with nominals, In: IJCAI, pp.714-720, 2009. ,
DOI : 10.1016/j.ic.2014.04.002
URL : http://www.inf.unibz.it/~calvanese/papers/calv-eite-orti-AAAI-2007.pdf
A Tableau Decision Procedure for $\mathcal{SHOIQ}$, Journal of Automated Reasoning, vol.12, issue.2, pp.249-276, 2007. ,
DOI : 10.1016/j.websem.2007.03.004
Hypertableau reasoning for description logics, J. of Artificial Intelligence Research, vol.36, pp.165-228, 2009. ,
Complexity of the Two-Variable Fragment with Counting Quantifiers, Journal of Logic, Language and Information, vol.28, issue.4, pp.369-395, 2005. ,
DOI : 10.1145/322276.322287
Decidability of description logics with transitive closure of roles, Proceedings of the 23rd International Workshop on Description Logics CEUR-WS.org, 2010. ,
Practical Reasoning for Expressive Description Logics, Proceedings of the International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 1999. ,
DOI : 10.1007/3-540-48242-3_11
URL : http://www.cs.man.ac.uk/~horrocks/Publications/download/1999/lpar99.ps.gz
Basic description logics In: The Description Logic Handbook: Theory, Implementation and Applications, pp.47-104, 2007. ,
Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.174-211, 1979. ,
DOI : 10.1016/0022-0000(79)90046-1
A decision procedure for SHOIQ with transitive closure of roles in concept axioms, 2013. ,