<style face="normal" font="default" size="100%">Complexities of Horn Description Logics</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Complexities of Horn Description Logics</style>

Drupal-Biblio

6

<style face="normal" font="default" size="100%">语义Web技术基础</style>

Drupal-Biblio

12

<style face="normal" font="default" size="100%">OWL 2 Web Ontology Language: Primer (Second Edition)</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Recent Advances in Integrating OWL and Rules</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Tableau Algorithm for Description Logics with Nominal Schemas</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies</style>

Drupal-Biblio

6

<style face="normal" font="default" size="100%">Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Nominal Schemas for Integrating Rules and Description Logics</style>

Drupal-Biblio

6

<style face="normal" font="default" size="100%">Foundations of Semantic Web Technologies</style>

Drupal-Biblio

12

<style face="normal" font="default" size="100%">OWL 2 Web Ontology Language: Primer</style>

Drupal-Biblio

6

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