A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Dynamic Description Logic Based on DL-Lite
[chapter]
2014
IFIP Advances in Information and Communication Technology
Description logics offer considerable expressive power for describing knowledge about static application domains while reasoning is still decidable. The dynamic description logic DDL is a family of dynamic extensions of description logics for representing and reasoning about knowledge of dynamic application domains. In order to provide effective reasoning mechanisms, systems of DDL investigated in the literatures assume that there is no general concept inclusion(GCI) contained in the knowledge
doi:10.1007/978-3-662-44980-6_19
fatcat:t4teguiwuzdbvkuqfdeefl36w4