A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Semantic Foundation for Preferential Description Logics
[chapter]
2011
Lecture Notes in Computer Science
Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by Lehmann and colleagues in the 90's, would therefore constitute a natural extension of such KR formalisms. Nevertheless, there is at present no generally accepted semantics, with corresponding syntactic characterization, for preferential consequence in
doi:10.1007/978-3-642-25832-9_50
fatcat:yqsn7tbff5aizh7zedinz5jlvu