Complexities of Horn Description Logics.
Description logics (DLs) have become a prominent paradigm for representing knowledge in a variety of application areas, partly due to their ability to achieve a favourable balance between expressivity of the logic and performance of reasoning. Horn description logics are obtained, roughly speaking,...
Main Authors: | , , |
---|---|
Format: | Journal article |
Language: | English |
Published: |
2013
|