Priorities on Defaults with Prerequisites, and Their Application in Treating Specificity in Terminological Default Logic, Journal of Automated Reasoning (JAR), vol.15, issue.1, pp.41-68, 1995. ,
DOI : 10.1007/bf00881830
A new semantics for overriding in description logics, Artif. Intell, vol.222, pp.1-48, 2015. ,
DOI : 10.1016/j.artint.2014.12.010
The Complexity of Circumscription in DLs, Journal of Artificial Intelligence Research, vol.35, pp.717-773, 2009. ,
Semantic Preferential Subsumption, Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, 2008. ,
Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox, DL 2013, 26th International Workshop on Description Logics, vol.1014, 2013. ,
Rational Closure for Defeasible Description Logics, Proceedings of the 12th European Conference on Logics in Artificial Intelligence, vol.6341, 2010. ,
DOI : 10.1007/978-3-642-15675-5_9
Defeasible Inheritance-Based Description Logics, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, vol.2011, 2011. ,
DOI : 10.1613/jair.4062
URL : https://jair.org/index.php/jair/article/download/10843/25878
Lexicographic Closure for Defeasible Description Logics, Proc. of Australasian Ontology Workshop, vol.969, 2012. ,
DOI : 10.1007/978-3-642-15675-5_9
Defeasible inheritance-based description logics, Journal of Artificial Intelligence Research (JAIR), vol.48, pp.415-473, 2013. ,
DOI : 10.1613/jair.4062
URL : https://jair.org/index.php/jair/article/download/10843/25878
Description logics of minimal knowledge and negation as failure, ACM Transactions on Computational Logic (ToCL), vol.3, issue.2, pp.177-225, 2002. ,
DOI : 10.1145/505372.505373
Combining answer set programming with description logics for the Semantic Web, Artif. Intell, vol.172, pp.1495-1539, 2008. ,
DOI : 10.1016/j.artint.2008.04.002
URL : https://doi.org/10.1016/j.artint.2008.04.002
Combining Answer Set Programming with Description Logics for the Semantic Web, Principles of Knowledge Representation and Reasoning: Proceedings of the 9th International Conference, 2004. ,
DOI : 10.1016/j.artint.2008.04.002
URL : https://doi.org/10.1016/j.artint.2008.04.002
Preferential Reasoning in the Perspective of Poole Default Logic, Artif. Intell, vol.98, issue.1-2, pp.53-55, 1998. ,
URL : https://hal.archives-ouvertes.fr/halshs-00792041
Encoding a Preferential Extension of the Description Logic SROIQ into SROIQ, Proc. ISMIS 2015, vol.9384, pp.248-258, 2015. ,
Preferential Description Logics, Proceedings of LPAR 2007 (14th Conference on Logic for Programming, vol.4790, pp.257-272, 2007. ,
DOI : 10.1007/978-3-540-75560-9_20
URL : http://www.di.unito.it/%7Eargo/papers/2007_LPAR.pdf
ALC+T: a Preferential Extension of Description Logics, Fundamenta Informaticae, vol.96, issue.3, pp.341-372, 2009. ,
Minimal Model Semantics and Rational Closure in Description Logics, 26th International Workshop on Description Logics (DL 2013, vol.7, p.1014, 2013. ,
A NonMonotonic Description Logic for Reasoning About Typicality, Artificial Intelligence, vol.195, pp.4-3702, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01479546
Minimal models for rational closure in shiq, Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014. ,
Rational Closure in SHIQ, DL2014, CEUR Workshop Proceedings, 1193, 2014. ,
Semantic characterization of rational closure: From propositional logic to description logics, Artificial Intelligence, vol.226, pp.1-33, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01479541
An Efficient Reasoner for Description Logics of Typicality and Rational Closure, DL 2013, Proceedings of the 30th International Workshop on Description Logics, 2017. ,
ASP for minimal entailment in a rational extension of SROEL, TPLP, vol.16, issue.5-6, pp.738-754, 2016. ,
Reasoning in a Rational Extension of SROEL, Proceedings of the 31st Italian Conference on Computational Logic, 1645. ,
Reasoning about Multiple Aspects in Rational Closure for DLs, AI*IA, XVth International Conference of the Italian Association for Artificial Intelligence, vol.10037, pp.392-405, 2016. ,
Stable Model Semantics for Guarded Existential Rules and Description Logics, Proc. KR, pp.1-57735, 2014. ,
The Even More Irresistible SROIQ, Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, pp.978-979, 2006. ,
A tableaux decision procedure for SHOIQ, Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005, pp.448-453, 2005. ,
Practical Reasoning for Very Expressive Description Logics, Logic Journal of the IGPL, vol.8, issue.3, pp.239-263, 2000. ,
Next Steps for Description Logics of Minimal Knowledge and Negation as Failure, CEUR Workshop Proceedings, vol.353, 2008. ,
Reconciling OWL and non-monotonic rules for the semantic web, pp.474-479, 2012. ,
Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence, vol.44, issue.1-2, pp.90101-90106, 1990. ,
Local Closed World Semantics: Keep it simple, stupid!, Proceedings of Description Logics, vol.745, 2011. ,
, Logics in Artificial Intelligence. JELIA 2010, vol.6341, pp.234-246, 2010.
What does a conditional knowledge base entail?, Artificial Intelligence, vol.55, issue.1, pp.4-3702, 1992. ,
Another Perspective on Default Reasoning, Ann. Math. Artif. Intell, vol.15, issue.1, pp.61-82, 1995. ,
Reconciling Description Logics and rules, Journal of the ACM, vol.57, issue.5, 2010. ,
Default Inheritance Reasoning in Hybrid KL-ONE-Style Logics, Proc. of the 13th Int. Joint Conf. on Artif. Intell. (IJCAI, pp.676-681, 1993. ,