Browse wiki

From korrekt.org

Jump to: navigation, search
Sebastian Rudolph
Modification dateThis property is a special property in this wiki. 31 October 2008 09:37:52  +
Categories Person
hide properties that link here 
All Elephants are Bigger than All Mice +, DL Role Constructors +, Description Logic Reasoning with Decision Diagrams +, Efficient OWL Reasoning with Logic Programs +, Quo vadis, CS? +, Terminological Reasoning in SHIQ with OBDDs +, Type-elimination-based Reasoning for SHIQbs + Author1
Approximate OWL-Reasoning with Screech +, Complexities of Horn Description Logics +, Complexity Boundaries for Horn Description Logics +, Conjunctive Queries for EL with Role Composition +, Conjunctive Queries for a Tractable Fragment of OWL1.1 +, Description Logic Rules +, ELP: Tractable Rules for OWL 2 +, Extending Decidable Existential Rules by Joining Acyclicity and Guardedness +, On the Complexity of Horn Description Logics +, On the Semantic Relationship between Datalog and Description Logics +, Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules +, Second-Order Queries for Rule-Based Data Access +, The Largest DLP Possible +, Towards The Largest DLP Possible + Author2
Foundations of Semantic Web Technologies +, Leveraging Non-Lexical Knowledge for the Linked Open Data Web +, Orel: Database-Driven Reasoning for OWL 2 Profiles +, Semantic Web – Grundlagen + Author3
Fixed Parameter Tractable Reasoning in DLs via Decomposition +, Nominal Schemas for Integrating Rules and Description Logics +, Unchain My EL Reasoner + Editor2
OWL 2 Web Ontology Language Primer + Editor5
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox