Reconciling description logics and rules.
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rules are focused on nonmonotonic inference. Many applications, however, require features of both DLs and rules. Developing a formalism that integrates DLs and rules would be a natural outcome of a large body of research in knowledge representation and reasoning of the last two decades; however, achievin...Expand abstract
- Publication status:
- Publisher copy:
- Copyright date:
If you are the owner of this record, you can report an update to it here: Report update to this record