Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Pascal Hitzler/Publikationen/en

Aus Aifbportal

Wechseln zu: Navigation, Suche

Publications by Pascal Hitzler


 - book
 - misc





article
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Transactions on Computational Logic, 2012
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-Elimination-Based Reasoning for the Description Logic SHIQbs Using Decision Diagrams and Disjunctive Datalog
Logical Methods in Computer Science, 8, (1:12), pages 1-38, Februar, 2012
(Details)

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
Applied Intelligence, September, 2008
(Details)

Stephan Grimm, Pascal Hitzler
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning
International Journal of e-Commerce, 12, (2), pages 89-126, Januar, 2008
(Details)

Anthony K. Seda, Pascal Hitzler
Generalized Distance Functions in the Theory of Computation
The Computer Journal, Januar, 2008
(Details)

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
Connectionist Model Generation: A First-Order Approach
Neurocomputing, 71, pages 2420-2432, Januar, 2008
(Details)

Daniel Oberle, Anupriya Ankolekar, Pascal Hitzler, Philipp Cimiano, Michael Sintek, Malte Kiesel, B. Mougouie, S. Vembu, S. Baumann, Massimo Romanelli, Paul Buitelaar, R. Engel, D. Sonntag, N. Reithinger, Berenike Loos, R. Porzel, H.-P. Zorn, V. Micelli, C Schmidt, Moritz Weiten, F. Burkhardt, J. Zhou
DOLCE ergo SUMO: On Foundational and Domain Models in SWIntO (SmartWeb Integrated Ontology))
Journal of Web Semantics: Science, Services and Agents on the World Wide Web, 5, (3), pages 156-174, 2007
(Details)

Rudi Studer, Anupriya Ankolekar, Pascal Hitzler, York Sure
A Semantic Future for AI
IEEE Intelligent Systems, 21, (4), pages 8-9, Juli, 2006
(Details)

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
Information, 9, (1), Januar, 2006
(Details)

Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A categorical view on algebraic lattices in formal concept analysis
Fundamenta Informaticae, 74, (2-3), pages 301-328, Juli, 2006
(Details)

Pascal Hitzler, Matthias Wendt
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming, 5, (1-2), pages 123-159, 2005
(Details)

Pascal Hitzler
Towards a Systematic Account of Different Semantics for Logic Programs
Journal of Logic and Computation, 15, (3), pages 391-404, Mai, 2005
(Details)

York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer
The Semantic Web in One Day
IEEE Intelligent Systems, 20, (3), pages 85-87, Mai, 2005
(Details)

↑ top

inproceedings
Stephan Grimm, Pascal Hitzler
Defeasible Inference with Circumscriptive OWL Ontologies
In Frank van Harmelen, Andreas herzig, Pascal Hitzler, Zuoquan Lin, Ruzica Piskac, Guilin Qi, Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, ARea 2008, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008, CEUR Workshop Proceedings, 350, Juni, 2008
(Details)

Jens Lehmann, Pascal Hitzler
Foundations of Refinement Operators for Description Logics
In H. Blockeel, J. Ramon, J. Shavlik, P. Tadepalli, Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 2007, Revised Selected Papers, pages: 161-174, Lecture Notes in Artificial Intelligence, 4894, April, 2008
(Details)

Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Reasoning for Expressive and Tractable Description Logics
In Franz Baader, Carsten Lutz, Boris Motik, Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008, CEUR Workshop Proceedings, 353, April, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Proceedings of the 21st International Workshop on Description Logics (DL2008)Mai, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
In Steffen Hölldobler and Carsten Lutz and Heinrich Wansing, Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), pages: 362-374, Springer, LNAI, 5293, September, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Description Logic Rules
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), pages: 80--84, IOS Press, Frontiers in Artificial Intelligence and Applications (FAIA), 178, Juli, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox and Carla P. Gomes, Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), pages: 529-534, AAAI Press, Chicago, Illinois, USA, Juli, 2008
(Details)

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
Approximate OWL Instance Retrieval with Screech
In A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann, Logic and Probability for Scene Interpretation, Dagstuhl Seminar Proceedings, 08091, Februar, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, Proceedings of the International Semantic Web Cnference (ISWC 2008), pages: 435-450, Springer, LNCS, 5318, Oktober, 2008
(Details)

Guilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler
A Forgetting-based Approach for Reasoning with Distributed Ontologies
In Ulrike Sattler and Andrei Tamilin, Proceedings of the International Workshop on Ontologies: Reasoning and Modularity (WORM'08), CEUR, 348, Juni, 2008
(Details)

Jens Lehmann, Pascal Hitzler
A Refinement Operator Based Learning Algorithm for the ALC Description Logic
In H. Blockeel, J. Ramon, J. Shavlik, P. Tadepalli, Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 2007, Revised Selected Papers, pages: 147-160, Springer, Lecture Notes in Artificial Intelligence, 4894, April, 2008
(Details)

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
In Diego Calvanese and Georg Lausen, Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR2008), pages: 150-164, Springer, LNCS, 5341, Oktober, 2008
(Details)

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, pages: 165-180, Springer, LNCS, 5341, Oktober, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
In Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci and Diana Maynard and Timothy Finin and Krishnaprasad Thirunarayan, Proceedings of the 7th International Semantic Web Conference (ISWC 2008), pages: 649-664, Springer, LNCS, 5318, Oktober, 2008
(Details)

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
In K. Mellouli, Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, pages: 30-41, Springer, LNAI, 4724, Hammamet , Tunisia, Oktober, 2007
(Details)

Matthias Knorr, Jose Alferes, Pascal Hitzler
A Well-founded Semantics for Hybrid MKNF Knowledge Bases
In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007, CEUR Workshop Proceedings, Vol-250, Juni, 2007
(Details)

Matthias Knorr, Jose Alferes, Pascal Hitzler
Towards Tractable Local Closed World Reasoning for the Semantic Web
In Jose Neves, Manuel Filipe Santos, Jose Machado, Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Guimaraes, Portugal, December 3-7, 2007, Proceedings, pages: 3-14, Springer, Berlin, Lecture Notes in Computer Science, 4874
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Conjunctive Queries for a Tractable Fragment of OWL 1.1
In Karl Aberer and Key-Sun Choi and Natasha Noy and Dean Allemang and Kyung-Il Lee and Lyndon Nixon and Jennifer Golbeck and Peter Mika and Diana Maynard and Riichiro Mizoguchi and Guus Schreiber and Philippe Cudré-Mauroux, Proceedings of the 6th International Semantic Web Conference (ISWC 2007), pages: 310--323, Springer, LNCS, 4825, November, 2007
(Details)

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, roceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007, pages: 403-410, CEUR Workshop Proceedings, Vol-250, Juni, 2007
(Details)

Sebastian Rudolph, Johanna Völker, Pascal Hitzler
Supporting Lexical Ontology Learning by Relational Exploration
In Uta Priss, Simon Polovina, Richard Hill, Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, pages: 488-491, Springer, LNAI, 4604, Sheffield, UK, Juli, 2007
(Details)

Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Resolution for Four-valued Description Logics
In Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris, Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, June 2007, pages: 395-402, CEUR Workshop Proceedings, Vol-250, Juni, 2007
(Details)

Johanna Völker, Pascal Hitzler, Philipp Cimiano
Acquisition of OWL DL Axioms from Lexical Resources
In Enrico Franconi, Michael Kifer, Wolfgang May, Proceedings of the 4th European Semantic Web Conference (ESWC'07), pages: 670-685, Springer, Lecture Notes in Computer Science, 4519, Juni, 2007
(Details)

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
In K. Mellouli, Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, pages: 91-102, Springer, LNAI, 4724, Hammamet , Tunisia, Oktober, 2007
(Details)

Pascal Hitzler, Andreas Eberhart
Description Logic Programs: Normal Forms
In Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, AInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007, CEUR Workshop Proceedings, 277, September, 2007
(Details)

Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler
Decidability Under the Well-Founded Semantics
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007, pages: 269-278, Springer, Lecture Notes in Computer Science, 4524, Juni, 2007
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, pages: 452--457, AAAI Press, Vancouver, British Columbia, Canada
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
Efficient OWL Reasoning with Logic Programs - Evaluations
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR2007), pages: 370-373, Springer, Springer Lecture Notes in Computer Science, 4524, Juni, 2007
(Details)

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
In Manuela M. Veloso, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07, Hyderabad, India, January 2007, pages: 666-671, AAAI Press, Menlo Park CA, Januar, 2007
(Details)

Yue Ma, Pascal Hitzler, Zuoquan Lin
Algorithms for Paraconsistent Reasoning with OWL
In Enrico Franconi, Michael Kifer, Wolfgang May, The Semantic Web: Research and Applications. Proceedings of the 4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007., pages: 399-413, Springer, Lecture Notes in Computer Science, 4519, Juni, 2007
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the Semantic Web
In Uta Priss, Simon Polovina, Richard Hill, Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, pages: 464-467, Springer, LNAI, 4604, Sheffield, UK, Juli, 2007
(Details)

Julien Tane, Philipp Cimiano, Pascal Hitzler
Query-Based Multicontexts for Knowledge Base Browsing: an Evaluation
In Henrik Schärfe, Pascal Hitzler and Peter Ohrstrom, Proceedings of the 14th International Conference on Conceptual Structures (ICCS), pages: 413-426, Springer, Lecture Notes in Computer Science, 4068, Juli, 2006
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
On the complexity of Horn description logics
In Bernardo Cuenca Grau, Pascal Hitzler, Conor Shankey, Evan Wallace, Proceedings of the 2nd Workshop on OWL: Experiences and Directions, CEUR Workshop Proceedings, 216, November, 2006
(Details)

Anupriya Ankolekar, Pascal Hitzler, Holger Lewen, Daniel Oberle, Rudi Studer
Integrating Semantic Web Services for Mobile Access
In Holger Wache, Proceedings of the ESWC2006 poster and demo sessionMai, 2006
(Details)

Matthias Knorr, Pascal Hitzler
A Comparison of Disjunctive Well-founded Semantics
In Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007, CEUR Workshop Proceedings, 277, Dezember, 2006
(Details)

Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler and Peter Ohrstrom, Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, pages: 413-426, Springer, Lecture Notes in Artificial Intelligence, 4068, Juli, 2006
(Details)

Saartje Brockmans, Peter Haase, Pascal Hitzler, Rudi Studer
A Metamodel and UML Profile for Rule-extended OWL DL Ontologies
In York Sure and John Domingue, The Semantic Web: Research and Applications, pages: 303-316, Springer, LNCS, 4011, Budva, Montenegro, Juni, 2006
(Details)

Saartje Brockmans, Andreas Geyer-Schulz, Rudi Studer, Pascal Hitzler
Visual Ontology Modeling for Electronic Markets
In Thomas Dreier, Rudi Studer, Christoph Weinhardt, Information Management and Market Engineering, pages: 85-99, Universitätsverlag Karlsruhe, Karlsruhe, Germany, September, 2006
(Details)

Antoine Zimmermann, Markus Krötzsch, Jérôme Euzenat, Pascal Hitzler
Formalizing Ontology Alignment and its Operations with Category Theory
In Brandon Bennett and Christiane Fellbaum, Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), pages: 277--288, IOS Press, Frontiers in Artificial Intelligence and Applications, 150, November, 2006
(Details)

Anupriya Ankolekar, Philipp Cimiano, Pascal Hitzler, Markus Krötzsch, Günter Ladwig, Holger Lewen, Daniel Oberle, Rudi Studer, Malte Kiesel, Michael Sintek
SmartWeb: Mobile Access to the Semantic Web
In Holger Wache, Proceedings of the ESWC2006 poster and demo session, pages: 3-4Juni, 2006
(Details)

Markus Krötzsch, Pascal Hitzler, Denny Vrandecic, Michael Sintek
How to reason with OWL in a logic programming system
In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, pages: 17--26, IEEE Computer Society, Athens, Georgia, November, 2006
(Details)

Anupriya Ankolekar, Paul Buitelaar, Philipp Cimiano, Pascal Hitzler, Malte Kiesel, Markus Krötzsch, Holger Lewen, G. Neumann, Michael Sintek, Tuvshintur Tserendorj, Rudi Studer
SmartWeb: Mobile Access to the Semantic Web
Proceedings of the ISWC 2006 Poster and Demo SessionNovember, 2006
(Details)

Tobias Matzner, Pascal Hitzler
Any-World Access to OWL from Prolog
In Joachim Hertzberg, Michael Beetz, Roman Englert, KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 2007, Proceedings, pages: 84-98, Springer, Berlin, Lecture Notes in Computer Science, 4667, Dezember, 2006
(Details)

Pascal Hitzler, Denny Vrandecic
Faster OWL Using Split Programs
Proceedings of the 12th Workshop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005Juli, 2005
(Details)

Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
Morphisms in Context
In Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme, Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005, pages: 223-237, Springer, Berlin, Lecture Notes in Computer Science, 3596, Juli, 2005
(Details)

Pascal Hitzler, Denny Vrandecic
Faster OWL Using Split Programs
In F. Bry, F. Fages, M. Marchiori, H.-J. Ohlbach, Principles and Practices of Semantic Web Reasoning, Dagstuhl Seminar Proceedings, Dagstuhl, Germany, September, 2005
(Details)

Pascal Hitzler, Rudi Studer, York Sure
Description Logic Programs: A Practical Choice For the Modelling of Ontologies
1st Workshop on Formal Ontologies Meet Industry, FOMI'05, Verona, Italy, June 2005März, 2005
(Details)

Pascal Hitzler, Sibylle Schwarz
Level mapping characterizations of selector-generated models for logic programs
In Armin Wolf, Thom W. Frühwirth, Marc Meister, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 2005, pages: 65-75, Universität Ulm, Ulmer Informatik-Berichte, 2005-01, Februar, 2005
(Details)

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
In Artur Garcez, Pascal Hitzler, and Jeff Ellman, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSyAugust, 2005
(Details)

Pascal Hitzler, Markus Krötzsch, Marc Ehrig, York Sure
What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts
In Pavel Shvaiko, Jerome Euzenat, Alain Leger, Deborah L. McGuinness, and Holger Wache, Proceedings of the First International Workshop on Contexts and Ontologies: Theory, Practice and Applications (C&0). Workshop at the 20th National Conference on Artificial Intelligence, AAAI-05, Pittsburgh, Pennsylvania, July 2005, pages: 104-107, AAAI Press, Menlo Park, California, Technical Report WS-05-01, Juli, 2005
(Details)

Sebastian Bader, Artur Garcez, Pascal Hitzler
Computing First-Order Logic Programs by Fibring Artificial Neural Networks
In I. Russell, Z. Markov, Proceedings of the Eighteenth International Florida Artificial Intelligence Research Symposium Conference, Clearwater Beach, Florida, USA, pages: 314-319, AAAI Press, Mai, 2005
(Details)

Daniel Oberle, Steffen Lamparter, Andreas Eberhart, Steffen Staab, Stephan Grimm, Pascal Hitzler, Sudhir Agarwal, Rudi Studer
Semantic Management of Web Services using the Core Ontology of Services
Proceedings of the W3C Workshop on Frameworks for Semantics in Web ServicesJuni, 2005
(Details)

Sebastian Bader, Pascal Hitzler, Andreas Witzel
Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach
In Artur Garcez, Pascal Hitzler, and Jeff Ellman, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSyAugust, 2005
(Details)

Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer
Bridging the Paradigm Gap with Rules for OWL
Proceedings of the W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USAApril, 2005
(Details)

Pascal Hitzler, Sebastian Bader, Artur Garcez
Ontology leaning as a use case for neural-symbolic integration
In Artur Garcez, Pascal Hitzler, and Jeff Ellman, Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSyAugust, 2005
(Details)

Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer
DLP isn't so bad after all
In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, and Peter Patel-Schneider, Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, CEUR Workshop Proceedings, 188, November, 2005
(Details)

Sudhir Agarwal, Pascal Hitzler
Modeling Fuzzy Rules with Description Logics
In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, Proceedings of Workshop on OWL Experiences and Directions, CEUR Workshop Proceedings, 188, Galway, Ireland, November, 2005
(Details)

Federico Banti, Jose Alferes, Antonio Brogi, Pascal Hitzler
The well-supported semantics for multidimensional dynamic logic programs
In Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina, Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings, pages: 356-368, Springer, Lecture Notes in Computer Science, 3662, September, 2005
(Details)

Pascal Hitzler, Denny Vrandecic
Resolution-Based Approximate Reasoning for OWL DL
In Y. Gil et al., Proceedings of the 4th International Semantic Web Conference, Galway, Ireland, November 2005, pages: 383-397, Springer, Berlin, Lecture Notes in Computer Science, 3729, November, 2005
(Details)

Pascal Hitzler
Default Reasoning over Domains and Concept Hierarchies
In Susanne Biundo and Thom Frühwirth and Günther Palm, KI2004: Advances in Artificial Intelligence. Proceedings of the 27th Annual German Conference on AI, KI2004, Ulm, Germany, pages: 351-365, Springer, Lecture Notes in Artificial Intelligence, 3238, September, 2004
(Details)

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
In L. Li and K.K. Yen, Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, pages: 22-33, International Information Institute, November, 2004
(Details)

↑ top

book
Pascal Hitzler, Henrik Schärfe
Conceptual Structures in Practice
CRC Press, Mai, 2009
(Details)

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
Foundations of Semantic Web Technologies
Chapman & Hall/CRC, August, 2009
(Details)

Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure
Semantic Web - Grundlagen
Springer-Verlag Berlin Heidelberg, eXamen.press, 2008
(Details)

Pascal Hitzler, Gudrun Kalmbach
MINT (Mathematik, Informatik, Naturwissenschaften, Technik)
Aegis-Verlag, Ulm, September, 2008
(Details)

Barbara Hammer, Pascal Hitzler
Perspectives of Neural-Symbolic Integration
Springer, Berlin, Studies in Computational Intelligence, 77, September, 2007
(Details)

Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm
Inspiration and Application. Contributions to ICCS 2006, 14th International Conference on Conceptual Structures, ICCS 2006
Aalborg University Press, Aalborg, Denmark, Juli, 2006
(Details)

Henrik Schärfe, Pascal Hitzler, Peter Øhrstrøm
Conceptual Structures: Inspiration and Application. 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, Proceedings
Springer, Berlin, Lecture Notes in Artificial Intelligence, 4068, Juli, 2006
(Details)

Pascal Hitzler, Gudrun Kalmbach
Begabtenförderung im MINT-Bereich 12
Aegis-Verlag, Ulm, Oktober, 2005
(Details)

↑ top

incollection
Alexander Chocholaty, Pascal Hitzler
Spieltheorie
In Pascal Hitzler and Gudrun Kalmbach, MINT (Mathematik, Informatik, Naturwissenschaften, Technik), Vol. 18, pages 117-125, Aegis-Verlag, Ulm, August, 2008
(Details)

Johanna Völker, Peter Haase, Pascal Hitzler
Learning Expressive Ontologies
In Paul Buitelaar and Philipp Cimiano, Ontology Learning and Population: Bridging the Gap between Text and Knowledge, pages 45-69, IOS Press, Frontiers in Artificial Intelligence and Applications, Vol. 167, Amsterdam, Januar, 2008
(Details)

Pascal Hitzler, Gudrun Kalmbach
Kursarbeit mit Schülern - die Intensivkurse Mathematik
In Martin Grimm, Gudrun Kalmbach, Begabtenförderung im MINT-Bereich 15, pages 61-68, Aegis-Verlag, Ulm, Januar, 2007
(Details)

Stephan Grimm, Pascal Hitzler, Andreas Abecker
Knowledge Representation and Ontologies
In Rudi Studer, Stephan Grimm, Andreas Abecker, Semantic Web Services: Concepts, Technology and Applications, pages 51-106, Springer, Berlin, 2007
(Details)

Stephan Grimm, Pascal Hitzler, Andreas Abecker
Knowledge Representation and Ontologies
In Rudi Studer, Stephan Grimm, Andreas Abecker, Semantic Web Services: Concepts, Technology and Applications, pages 51-106, Springer, Berlin, September, 2007
(Details)

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
The Core Method: Connectionist Model Generation for First-Order Logic Programs
In Barbara Hammer, Pascal Hitzler, Perspectives of Neural-Symbolic Integration, pages 205-232, Springer, Berlin, Studies in Computational Intelligenc, Vol. 77, September, 2007
(Details)

Sebastian Bader, Pascal Hitzler
Dimensions of neural-symbolic integration - a structured survey
In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, J. Woods, We Will Show Them: Essays in Honour of Dov Gabbay, pages 167-194, International Federation for Computational Logic, College Publications, Vol. 1, Juli, 2005
(Details)

Karl Fritsche, Pascal Hitzler
Automatisiertes Schließen mit formalen Begriffen: Implementierung
In Pascal Hitzler and Gudrun Kalmbach, Begabtenförderung im MINT-Bereich Band 12, pages 57-62, Aegis-Verlag, Ulm, Oktober, 2005
(Details)

Pascal Hitzler
Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen
In Pascal Hitzler and Gudrun Kalmbach, Begabtenförderung im MINT-Bereich Band 12, pages 49-56, Aegis-Verlag, Ulm, Oktober, 2005
(Details)

↑ top

proceedings
Luc de Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass
Recurrent Neural Networks - Models, Capacities, and Applications
Dagstuhl Seminar Proceedings, Dagstuhl, Germany, April, 2008
(Details)

Christophe Gueret, Pascal Hitzler, Stefan Schlobach
Proceedings of the international workshop on Nature inspired Reasoning for the Semantic Web, NatuReS, at the 7th International Semantic Web Conference, Karlsruhe, Germany, October 2008
CEUR Workshop Proceedings, Vol. 419, Oktober, 2008
(Details)

Frank Harmelen, Andreas Herzig, Pascal Hitzler, Zuoquan Lin, Ruzica Piskac, Guilin Qi
Proceedings of the Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, ARea 2008, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008
CEUR Workshop Proceedings, Vol. 350, Juni, 2008
(Details)

Artur Garcez, Pascal Hitzler
Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'08, at the 18th European Conference on Artificial Intelligence, ECAI 2008, Patras, Greece, July 2008
CEUR Workshop Proceedings, Vol. 366, Juli, 2008
(Details)

Stephan Grimm, Pascal Hitzler
Proceedings the Third International Workshop on Applications of Semantic Technologies, AST2008, at Informatik2008, Munich, Germany, September 2008
Gesellschaft für Informatik, Lecture Notes in Informatics, September, 2008
(Details)

Artur Garcez, Pascal Hitzler, Guglielmo Tamburrini
Proceedings of the IJCAI-07 Third International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, Hyderabad, India, January 2007
CEUR Workshop Proceedings, Vol. Vol-230, Januar, 2007
(Details)

Pascal Hitzler, York Sure
Proceedings of the 2nd International Workshop on Applications of Semantic Technologies AST2007 at Informatik 2007
Gesellschaft für Informatik, Bonn, Lecture Notes in Informatics, Vol. P-109 (1), September, 2007
(Details)

Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph
Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007
CEUR Workshop Proceedings, Vol. 277, September, 2007
(Details)

Pascal Hitzler, York Sure
Proceedings of the International Workshop on Applications of Semantic Technologies, AST2006, at Informatik2006, Dresden, Germany
Gesellschaft für Informatik, Bonn, Lecture Notes in Informatics, Vol. P-94, Oktober, 2006
(Details)

Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, Evan Wallace
Proceedings of the Second Workshop OWL - Experiences and Directions, OWLED2006
CEUR Workshop Proceedings, Vol. 216, November, 2006
(Details)

Pascal Hitzler, Holger Wache, Thomas Eiter
Proceedings of the WWW2006 Workshop on Reasoning on the Web, RoW06, Edinburgh, UK, May 2006
Mai, 2006
(Details)

Artur Garcez, Pascal Hitzler, Guglielmo Tamburrini
Proceedings of the ECAI-06 Second International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'06, Riva del Garda, Italy, August 2006
August, 2006
(Details)

Pascal Hitzler, Carsten Lutz, Gerd Stumme
Proceedings of the KI2005 Workshop on Foundational Aspects of Ontologies, FOnt'05, Koblenz, Germany, September 2005
Fachberichte Informatik, University of Koblenz-Landau, September, 2005
(Details)

Artur Garcez, Jeff Elman, Pascal Hitzler
Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005
August, 2005
(Details)

↑ top

techreport
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
Universität Karlsruhe (TH), archiv number: 1767, Mai, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Universität Karlsruhe, archiv number: 1751, Januar, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Universität Karlsruhe (TH), archiv number: 1724, Februar, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Institut AIFB, Universität Karlsruhe, archiv number: 1753, April, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Institut AIFB, KIT, archiv number: 3007 Karlsruhe, Februar, 2008
(Details)

Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
Institute AIFB, University of Karlsruhe, archiv number: 1731, März, 2008
(Details)

Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Institute AIFB, University of Karlsruhe, archiv number: 1729, März, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
Institut AIFB, Universität Karlsruhe (TH), archiv number: 1752, April, 2008
(Details)

Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity of Horn Description Logics
Instistute AIFB, Universität Karlsruhe, archiv number: 1432, Februar, 2007
(Details)

Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner
AIFB, University of Karlsruhe, archiv number: 1390, Dezember, 2006
(Details)

Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
AIFB, University of Karlsruhe, archiv number: 1148, Februar, 2006
(Details)

Pascal Hitzler, Sibylle Schwarz
Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models
AIFB, Universität Karlsruhe, archiv number: 1052, November, 2005
(Details)

Denny Vrandecic, Peter Haase, Pascal Hitzler, York Sure, Rudi Studer
DLP - An introduction
AIFB, Universität Karlsruhe, archiv number: 888, Februar, 2005
(Details)

Markus Krötzsch, Pascal Hitzler, Marc Ehrig, York Sure
Category Theory in Ontology Research: Concrete Gain from an Abstract Approach
AIFB, Universität Karlsruhe, archiv number: 893, März, 2005
(Details)

↑ top

deliverable
Zhisheng Huang, Annette ten Teije, Frank van Harmelen, Gaston Tagni, Hansjorg Neth, Lael Schooler, Sebastian Rudolph, Pascal Hitzler, Tuvshintur Tserendorj, Yi Huang, Danica Damljanovic, Angus Roberts
D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving
Vrije Universiteit AmsterdamLarKC Project Deliverable, September, 2009
(Details)

Guilin Qi, Peter Haase, Simon Schenk, Steffen Stadtmüller, Pascal Hitzler
D1.2.4 Inconsistency-tolerant Reasoning with Networked Ontologies
Institut AIFB, KIT, Karlsruhe, (D1.2.4), NeOn Project Deliverable, Februar, 2009
(Details)

Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
Scalable Expressive Reasoning with KAON2
AIFB, University of KarlsruheKOReA Deliverable, Februar, 2007
(Details)

Peter Haase, Pascal Hitzler, Sebastian Rudolph, Guilin Qi, Marko Grobelnik, Igor Mozetic, Damjan Bojadziev, Jérôme Euzenat, Mathieu d'Aquin, Aldo Gangemi, Carola Catenacci
D3.1.1 Context Languages - State of the Art
Universität Karlsruhe (TH), (D3.1.1), NeOn Project Deliverable, August, 2006
(Details)

Pascal Hitzler, Jerome Euzenat, Markus Krötzsch, Luciano Serafini, Heiner Stuckenschmidt, Holger Wache, Antoine Zimmermann
Integrated view and comparison of alignment semantics
AIFB, University of Karlsruhe, (D2.2.5), KnowledgeWeb Deliverable, Januar, 2006
(Details)

Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
Scalable Reasoning for Information Access
AIFB, University of KarlsruheKOReA Deliverable, November, 2006
(Details)

Philipp Cimiano, Duc Thanh Tran, Pascal Hitzler, Markus Krötzsch, A. Lavelli, Bernhard Schuler, Giorgos Stoilos, Karen Tso, Vassilis Tzouvaras
Incorporating Uncertainty into RDF and OWL. X-Media Deliverable D2.1
Institute AIFB, University of Karlsruhe, November, 2006
(Details)

Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandecic, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of KarlsruheKnowledgeWeb Deliverable D2.1.2.2v2, Dezember, 2006
(Details)

Stefania Ghita-Costache, Peter Dolog, Pascal Hitzler, Luciano Serafini, Wolf Siberski, Heiner Stuckenschmidt, Andrei Tamilin, Denny Vrandecic, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of Karlsruhe, (D2.1.2.1v1), KnowledgeWeb Deliverable, Januar, 2006
(Details)

Perry Groot, Pascal Hitzler, Ian Horrocks, Boris Motik, Jeff Pan, Heiner Stuckenschmidt, Daniele Turi, Holger Wache
Methods for Approximate Reasoning
University of Karlsruhe, (2.1.2), Knowledge Web Deliverable, Dezember, 2004
(Details)

Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Pascal Hitzler, Markus Krötzsch, Luciano Serafini, Giorgos Stamou, York Sure, Sergio Tessaris
Specification of a common framework for characterizing alignment
University of Karlsruhe, (2.2.1v2), Knowledge Web Deliverable, Dezember, 2004
(Details)

↑ top

misc
Qui Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmüller
RaDON - Repair and Diagnosis in Ontology Networks
Demonstration Paper, ESWC, Juni, 2009
(Details)

Pascal Hitzler, York Sure, Jörg Diederich
Report on Research Exchange and Collaboration
KnowledgeWeb Deliverable D2.6.8, Oktober, 2007
(Details)

Pascal Hitzler, Rudi Studer
Wissensmanagement profitiert von Semantiktechnologien
Computer Zeitung 37 (40), 2nd of October 2006, p. 21., Oktober, 2006
(Details)

Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, Rudi Studer
dlpconvert - Converting OWL DLP statements to logic programs
Poster at the ESWC2005, Mai, 2005
(Details)

Harold Boley, Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel Polleres, Rudi Studer
Web Rule Language (WRL)
W3C Member Submission, 09 September 2005, September, 2005
(Details)

Pascal Hitzler, Michael Sintek, Moritz Weiten
Zur Wahl der Inferenzmaschine in SmartWeb
SmartWeb internal report, Juni, 2005
(Details)

Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Axel Polleres
Relationship of WRL to relevant other technologies
W3C Member Submission, 09 September 2005, September, 2005
(Details)

Pascal Hitzler, Denny Vrandecic
The SCREECH OWL reasoner - Scalable approximate ABox reasoning for OWL
ISWC2005 Software Demo Abstract, Juli, 2005
(Details)

Philipp Cimiano, Andreas Eberhart, Pascal Hitzler, Daniel Oberle, Steffen Staab, Rudi Studer
The SmartWeb Foundational Ontology
SmartWeb Project Report, September, 2004
(Details)

Pascal Hitzler
Nichtmonotone, neuro-symbolische und begriffliche Wissensverarbeitung
Habilitationsschrift (kumulativ), Dezember, 2004
(Details)

↑ top