Pages that link to "Pascal Hitzler"
From Tetherless World Wiki
(List of links)
> Pascal HitzlerThe following pages link to Pascal Hitzler:
View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)- A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies (← links)
- Algorithms for Paraconsistent Reasoning with OWL (← links)
- Acquisition of OWL DL Axioms from Lexical Resources (← links)
- Resolution-Based Approximate Reasoning for OWL DL (← links)
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 (← links)
- Markus Krötzsch (← links)
- Denny Vrandecic (← links)
- Peter Haase (← links)
- Guilin Qi (← links)
- Rudi Studer (← links)
- Boris Motik (← links)
- York Sure (← links)
- Anupriya Ankolekar (← links)
- Complexity Boundaries for Horn Description Logics (← links)
- A Resolution Theorem for Algebraic Domains (← links)
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs (← links)
- DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO) (← links)
- Bridging the Paradigm Gap with Rules for OWL (← links)
- Daniel Oberle (← links)
- A Semantic Future for AI (← links)
- Description Logic Programs: A Practical Choice For the Modelling of Ontologies (← links)
- The Semantic Web in One Day (← links)
- Zuoquan Lin (← links)
- Paraconsistent Reasoning for Expressive and Tractable Description Logics (← links)
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics (← links)
- Paraconsistent Resolution for Four-valued Description Logics (← links)
- An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics (← links)
- A Survey of Distributed Inference on Semantic Web (← links)
- What is Approximate Reasoning? (← links)
- Efficient OWL Reasoning with Logic Programs - Evaluations (← links)
- How to reason with OWL in a logic programming system (← links)
- Faster OWL Using Split Programs (← links)
