<style face="normal" font="default" size="100%">Efficient Reasoning Algorithms for Fragments of Horn Description Logics</style>

Drupal-Biblio

32

<style face="normal" font="default" size="100%">Efficient Reasoning Algorithms for Fragments of Horn Description Logics</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Local Closed World Reasoning with Description Logics under the Well-Founded Semantics</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Computational Complexity and Anytime Algorithm for Inconsistency Measurement</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A Reasonable Semantic Web</style>