Has author Pascal Hitzler
From Tetherless World Wiki
A list of all pages that have property "Has author" with value "Pascal Hitzler"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- A Metamodel and UML Profile for Rule-Extended OWL DL Ontologies +
- Algorithms for Paraconsistent Reasoning with OWL +
- Acquisition of OWL DL Axioms from Lexical Resources +
- Resolution-Based Approximate Reasoning for OWL DL +
- Conjunctive Queries for a Tractable Fragment of OWL 1.1 +
- Complexity Boundaries for Horn Description Logics +
- A Resolution Theorem for Algebraic Domains +
- A Fully Connectionist Model Generator for Covered First-Order Logic Programs +
- Efficient OWL Reasoning with Logic Programs - Evaluations +
- DOLCE ergo SUMO: On foundational and domain models in the SmartWeb Integrated Ontology (SWIntO) +
- Bridging the Paradigm Gap with Rules for OWL +
- A Semantic Future for AI +
- Description Logic Programs: A Practical Choice For the Modelling of Ontologies +
- The Semantic Web in One Day +
- Paraconsistent Reasoning for Expressive and Tractable Description Logics +
- Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics +
- Paraconsistent Resolution for Four-valued Description Logics +
- An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics +
- What is Approximate Reasoning? +
- How to reason with OWL in a logic programming system +
- Faster OWL Using Split Programs +
