Journal
ARTIFICIAL INTELLIGENCE
Volume 222, Issue -, Pages 1-48Publisher
ELSEVIER SCIENCE BV
DOI: 10.1016/j.artint.2014.12.010
Keywords
Nonmonotonic reasoning; Description logics; Knowledge representation
Categories
Funding
- National Project SmartHealth 2.0 [PONO4a2_C]
- National Project Security Horizons [PRIN 2010-11 2010XSEMLC]
Ask authors/readers for more resources
Many modern applications of description logics (DLs, for short), such as biomedical ontologies and semantic web policies, provide fresh motivations for extending DLs with nonmonotonic inferences-a topic that has attracted a significant amount of attention along the years. Despite this, nonmonotonic inferences are not yet supported by DL technology due to a number of issues related to expressiveness, computational complexity, and optimizations. This paper contributes to the practical support of nonmonotonic inferences in description logics by introducing a new semantics expressly designed to address knowledge engineering needs. This formalism has appealing expressiveness, enjoys nice computational properties, and constitutes an interesting solution to an ample class of application needs. The formalism is validated through extensive comparison with the other nonmonotonic DLs, and systematic scalability tests. The test case generator and its novel validation methodology constitute a further contribution of this paper. (C) 2015 Elsevier B.V. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available