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. ,
Decidability of SHI with transitive closure of roles, ESWC 2009, pp.368-383, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00793443
Decidability of description logics with transitive closure of roles, Proceedings of the 23rd International Workshop on Description Logics CEUR-WS.org, 2010. ,
Boosting the correspondence between description logics and propositional dynamic logics, Proceedings of the 12th National Conference on Artificial Intelligence, pp.205-212, 1994. ,
What's in an aggregate: Foundations for description logics with tuples and sets, Proceedings of the Fourteenth International Joint Conference On Intelligence Artificial, p.1995, 1995. ,
Decidability of <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mi mathvariant="script">SHIQ</mml:mi></mml:math> with complex role inclusion axioms, Artificial Intelligence, vol.160, issue.1-2, pp.79-104, 2004. ,
DOI : 10.1016/j.artint.2004.06.002
The even more irresistible SROIQ, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, 2006. ,
An automata-based algorithm for description logics around SRIQ, Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning, 2008. ,
Practical Reasoning for Expressive Description Logics, LPAR 1999, 1999. ,
DOI : 10.1007/3-540-48242-3_11
A Tableau Decision Procedure for $\mathcal{SHOIQ}$, Journal of Automated Reasoning, vol.12, issue.2, pp.249-276, 2007. ,
DOI : 10.1007/s10817-007-9079-9
Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles, Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, 1991. ,
A tableaux-based algorithm for SHIQ with transitive closure of roles in concept and role inclusion axioms, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00738380