]> 2012-05-29T10:13:53-04:00 Pascal Hitzler Pascal Pascal Hitzler Hitzler Pascal Hitzler 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 Has author Has surname Has identifier Has given name Foaf:surname Foaf:name Foaf:firstName Anonymous.png Foaf:depiction Person