<style face="normal" font="default" size="100%">EL-ifying Ontologies</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">EL-ifying Ontologies</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Pushing the Boundaries of Tractable Ontology Reasoning</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Geo-ontology Design Pattern for Semantic Trajectories</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

17

<style face="normal" font="default" size="100%">Generalized Distance Functions in the Theory of Computation</style>