Library

Export 162 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
2005
Markus Krotzsch, Guo-Qiang Zhang, Pascal Hitzler. Morphisms in Context. In 13th International Conference on Conceptual Structures, ICCS '05. Kassel, Germany; 2005. p. 223-237.  (159.48 KB)
Sebastian Bader, Pascal Hitzler, Artur S. D'Avila Garcez. Ontology Learning as a Use Case for Neural-Symbolic Integration. In Ontology Learning as a Use Case for Neural-Symbolic Integration. 2005.
Denny Vrandecic, Pascal Hitzler. Resolution-based approximate reasoning for OWL DL. In ISWC2005. Galway, Ireland; 2005. p. 383-397.  (182 KB)
Stephan Grimm, Andreas Eberhart, Rudi Studer, Sudhir Agarwal, Daniel Oberle, Steffen Lamparter, Pascal Hitzler. Semantic Management of Web Services using the Core Ontology of Services. In W3C Workshop on Frameworks for Semantics in Web Services; 2005.  (0 bytes)
York Sure, Andreas Eberhart, Rudi Studer, Pascal Hitzler. The Semantic Web in One Day. IEEE Intelligent Systems. 2005 ;:85-87.  (133.79 KB)
Pascal Hitzler. Towards a Systematic Account of Different Semantics for Logic Programs. Journal of Logic and Computation. 2005 ;:391-404.  (224.54 KB)
Matthias Wendt, Pascal Hitzler. A uniform approach to logic programming semantics. Theory and Practice of Logic Programming. 2005 ;:123-159.  (326.6 KB)
F. Banti, Jose Julio Alferes, A. Brogi, Pascal Hitzler. The Well-Supported Semantics for Multidimensional Dynamic Logic Programs. In 8th International Conference, LPNMR 2005. Diamante, Italy; 2005. p. 356-368.  (218.65 KB)
York Sure, Markus Krotzsch, Marc Ehrig, Pascal Hitzler. What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts. In 20th National Conference on Artificial Intelligence, AAAI-05; 2005.  (0 bytes)
2006
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. On the Complexity of Horn Description Logics. In Second Workshop OWL - Experiences and Directions, OWLED2006; 2006.  (0 bytes)
M. Krotzsch, D. Vrandecic, M. Sintek, Pascal Hitzler. How to Reason with OWL in a Logic Programming System. In the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006. Athens, Georgia; 2006. p. 17-26.  (168 KB)
Anupriya Ankolekar, Pascal Hitzler, Holger Lewen, Daniel Oberle, Rudi Studer. Integrating Semantic Web Services for Mobile Access. In 3rd European Semantic Web Conference (ESWC 2006). Budva, Montenegro; 2006.  (281.12 KB)
R. Studer, S. Brockmans, P. Haase, Pascal Hitzler. A Metamodel and UML Profile for Rule-extended OWL DL Ontologies. In 3rd European Semantic Web Conference, ESWC 2006. Budva, Montenegro; 2006. p. 303-316.  (515.55 KB)
M. Krotzsch, Pascal Hitzler. Querying Formal Contexts with Answer Set Programs. In 14th International Conference on Conceptual Structures, ICCS 2006. Aalborg, Denmark; 2006. p. 260-273.  (370.44 KB)
R. Studer, A. Ankolekar, Pascal Hitzler. A Semantic Future for AI. IEEE Intelligent Systems. 2006 ;:8-9.  (80.16 KB)
Rudi Studer, Saartje Brockmans, Andreas Geyer-Schulz, Pascal Hitzler. Visual Ontology Modeling for Electronic Markets. In 2006.  (2.98 MB)
2007
Johanna Volker, Philipp Cimiano, Pascal Hitzler. Acquisition of OWL DL Axioms from Lexical Resources. In 4th European Semantic Web Conference. Innsbruck, Austria; 2007.  (153.34 KB)
Yue Ma, Guilin Qi, Zuoquan Lin, Pascal Hitzler. An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics. In Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet,Tunisia; 2007. p. 91-102.  (494.11 KB)
Yue Ma, Zuoquan Lin, Pascal Hitzler. Algorithms for Paraconsistent Reasoning with OWL. In 4th European Semantic Web Conference, ESWC2007. Innsbruck, Austria; 2007.
Tobias Matzner, Pascal Hitzler. Any-World Access to OWL from Prolog. In 30th Annual German Conference on AI. KI, Osnabruck, Germany: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007; 2007. p. 84-98.  (197.72 KB)
Matthias Knorr, Pascal Hitzler. A Comparison of Disjunctive Well-founded Semantics. In Foundations of Artificial Intelligence (FAInt-07); 2007.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Complexity Boundaries for Horn Description Logics. In The 22nd AAAI Conference on Artficial Intelligence. Vancouver, British Columbia, Canada; 2007.  (198.68 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Complexity of Horn Description Logics. 2007.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Conjunctive Queries for a Tractable Fragment of OWL 1.1. In 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC. Busan, Korea: The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC; 2007. p. 310-323.  (133.64 KB)
Sebastian Bader, Steffen Holldobler, Andreas Witzel, Pascal Hitzler. The Core Method: Connectionist Model Generation for First-Order Logic Programs. In 2007.  (0 bytes)
Natalia Cherchago, Pascal Hitzler, Steffen Holldobler. Decidability Under the Well-Founded Semantics. In First International Conference on Web Reasoning and Rule Systems, RR2007. Innsbruck, Austria; 2007.  (70 KB)
Andreas Eberhart, Pascal Hitzler. Description Logic Programs: Normal Forms. In FAInt-07; 2007.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Michael Sintek, Denny Vrandecic, Pascal Hitzler. Efficient OWL Reasoning with Logic Programs - Evaluations. In International Conference on Web Reasoning and Rule Systems, RR2007. Innsbruck, Austria; 2007. p. 370-373.  (106.23 KB)
Jens Lehmann, Pascal Hitzler. Foundations of Refinement Operators for Description Logics. In 17th International Conference, ILP 2007. Corvallis, OR, USA; 2007. p. 161-174.  (188.77 KB)
Sebastian Bader, Steffen Holldobler, Andreas Witzel, Pascal Hitzler. A Fully Connectionist Model Generator for Covered First-Order Logic Programs. In Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. Hyderabad, India; 2007. p. 666-671.
Gudrun Kalmbach, Pascal Hitzler. Kursarbeit mit Schulern - die Intensivkurse Mathematik. In 2007.
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (152.34 KB)
Yue Ma, Guilin Qi, Zuoquan Lin, Pascal Hitzler. Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics. In Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty. Hammamet, Tunisia; 2007.  (152.34 KB)
Yue Ma, Zuoquan Lin, Pascal Hitzler. Paraconsistent Resolution for Four-valued Description Logics. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (179.34 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web. In ICCS 2007. Sheffield, UK; 2007.  (28.66 KB)
Jens Lehmann, Pascal Hitzler. A Refinement Operator Based Learning Algorithm for the ALC Description Logic. In 17th International Conference, ILP. Corvallis, OR, USA: 17th International Conference, ILP 2007; 2007. p. 147-160.  (222.92 KB)
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler. Towards Tractable Local Closed World Reasoning for the Semantic Web. In 13th Portuguese Conference on Aritficial Intelligence, EPIA. Guimaraes, Portugal: 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007; 2007. p. 3-14.  (166.6 KB)
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler. A Well-founded Semantics for Hybrid MKNF Knowledge Bases. In the 2007 International Workshop on Description Logics (DL-2007); 2007.  (167.38 KB)
2008
Sebastian Rudolph, Markus Krotzsch, Tuvshintur Tserendorj, Pascal Hitzler. Approximate OWL Instance Retrieval with Screech. In Approximate OWL Instance Retrieval with Screech. 2008.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Tuvshintur Tserendorj, Pascal Hitzler. Approximate OWL-Reasoning with Screech. In International Conference, RR 2008. Karlsruhe, Germany: Second International Conference, RR 2008; 2008. p. 165-180.  (200.54 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Cheap Boolean Role Constructors for Description Logics. In 11th European Conference on Logics in Artificial Intelligence (JELIA). Dresden, Germany; 2008. p. 362-374.  (160.41 KB)
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler. A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece: 18th European Conference on Artificial Intelligence, ECAI 2008; 2008. p. 99-103.  (163.1 KB)
Sebastian Bader, Steffen Holldobler, Pascal Hitzler. Connectionist Model Generation: A First-Order Approach. Neurocomputing. 2008 ;:2420-2432.  (581.02 KB)
Stephan Grimm, Pascal Hitzler. Defeasible Inference with Circumscriptive OWL Ontologies. In 5th European Semantic Web Conference, ESWC08; 2008.  (0 bytes)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. In The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008. Karlsruhe, Germany: The Semantic Web - ISWC 2008, 7th International Semantic Web Conference; 2008. p. 435-450.  (150.02 KB)
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Description Logic Rules. In 18th European Conference on Artificial Intelligence, ECAI. Patras, Greece; 2008. p. 80-84.  (179.06 KB)
Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. In ELP: Tractable Rules for OWL 2. 2008.
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. ELP: Tractable Rules for OWL 2. ELP: Tractable Rules for OWL 2. 2008 .  (221.74 KB)
Markus Krotzsch, Sebastian Rudolph, Pascal Hitzler. ELP: Tractable Rules for OWL 2. 2008.
Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler. Expressive Tractable Description Logics based on SROIQ Rules. 2008.  (0 bytes)

Pages