Publications of Pascal Hitzler
From International Center for Computational Logic
Publications of Pascal Hitzler
Journal Articles
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Trans. Comput. Log., 14(1):2, 2013
Details Download
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), 2012
Details Download
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
Connectionist Model Generation: A First-Order Approach
Neurocomputing, 71(13--15):2420-2432, 2008
Details
Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
Applied Intelligence, 2008
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
Journal of Information, 9(1):7-20, January 2006
Details Download
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang
A categorical view on algebraic lattices in formal concept analysis
Fundamenta Informaticae, 74(2-3):301-328, July 2006
Details Download
Sebastian Bader, Pascal Hitzler
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):273-300, 2004
Details
Pascal Hitzler, Steffen Hölldobler, Anthony K. Seda
Logic Programs and Connectionist Networks
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):245-272, 2004
Details Download
Pascal Hitzler
A generalized resolution theorem
Journal of Electrical Engineering, Slovak Academy of Sciences, 55(1--2):25-30, 2004
Details Download
Pascal Hitzler, Anthony K. Seda
Generalized Metrics and Uniquely Determined Logic Programs
Theoretical Computer Science, 305(1--3):187-219, 2003
Details
Pascal Hitzler, Anthony Karel Seda
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Fields Institute Communications (32):219-235, 2002
Details
Pascal Hitzler, Anthony Karel Seda
Unique Supported-Model Classes of Logic Programs
Information, 4(3):295-302, 2001
Details
Pascal Hitzler, Anthony Karel Seda
A "Converse" of the Banach Contraction Mapping Theorem
Journal of Electrical Engineering, Slovak Academy of Sciences, 52(10/s):3-6, 2001
Details
Proceedings Articles
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download
Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
Rule-Based OWL Modeling with ROWLTab Protégé Plugin
In Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig, eds., The Semantic Web, 14th International Conference, ESWC 2017, Portorovz, Slovenia. Proceedings., volume 10249 of Lecture Notes in Computer Science, 419--433, 2017. Springer
Details Download
David Carral, Cristina Feier, Pascal Hitzler
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies
In Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flock, Yolanda Gil, eds., The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan. Proceedings, Part I, volume 9981 of LNCS, 70-85, October 2016. Springer
Details Download
David Carral, Michelle Cheatham, Sunje Dallmeier-Tiessen, Patricia Herterich, Michael Hildreth, Pascal Hitzler, Adila Krisnadhi, Kati Lassila-Perini, Elizabeth Sexton-Kennedy, Charles Vardeman, Gordon Watts
An Ontology Design Pattern for Particle Physics Analysis
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA., volume 1461 of CEUR Workshop Proceedings, October 2015. CERU-WS.org
Details Download
Patrick O'Brien, David Carral, Jeff Mixter, Pascal Hitzler
An Ontology Design Pattern for Data Integration in the Library Domain
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA., volume 1461 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download
Kamruzzaman Sarker, David Carral, Adila Krisnadhi, Pascal Hitzler
Modeling OWL with Rules: The ROWL Protege Plugin
In Takahiro Kawamura, Heiko Paulheim, eds., Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan., volume 1690 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download
David Carral, Cristina Feier, Ana Armas-Romero, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs
In Meghyn Bienvenu, Magdalena Ortiz, Riccardo Rosati, Mantas Simkus, eds., Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria., volume 1193 of CEUR Workshop Proceedings, 128--140, July 2014. CEUR-WS.org
Details Download
David Carral, Cristina Feier, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
EL-ifying Ontologies
In Stephane Demri, Deepak Kapur, Christoph Weidenbach, eds., Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria. Proceedings, volume 8562 of Lecture Notes in Computer Science, 464--479, July 2014. Springer
Details Download
David Carral, Cristina Feier, Bernardo Cuenca-Grau, Pascal Hitzler, Ian Horrocks
Pushing the Boundaries of Tractable Ontology Reasoning.
In Peter Mika, Tania Tudorache, Abraham Bernstein, Chris Welty, Craig A. Knoblock, Denny Vrandecic, Paul T. Groth, Natasha F. Noy, Krzysztof Janowicz, Carole A. Goble, eds., The Semantic Web - {ISWC} 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy. Proceedings, Part {II}, volume 8797 of Lecture Notes in Computer Science, 148--163, October 2014. Springer
Details Download
David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles
In Maria Keet, Valentina Tamma, eds., Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on {(ISWC} 2014), Riva del Garda, Italy., volume 1265 of CEUR Workshop Proceedings, 97--108, October 2014. CEUR-WS.org
Details Download
David Carral, Cong Wang, Pascal Hitzler
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas
In Wolfgang Faber, Domenico Lembo, eds., Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany. Proceedings, volume 7994 of Lecture Notes in Computer Science, 65--79, July 2013. Springer
Details Download
David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman, Adila Krisnadhi, Pascal Hitzler
An Ontology Design Pattern for Cartographic Map Scaling
In Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph, eds., The Semantic Web: Semantics and Big Data, 10th International Conference, {ESWC} 2013, Montpellier, France. Proceedings, volume 7882 of Lecture Notes in Computer Science, 76--93, May 2013. Springer
Details Download
Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas
A Geo-ontology Design Pattern for Semantic Trajectories
In Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood, eds., Spatial Information Theory - 11th International Conference, {COSIT} 2013, Scarborough, UK, . Proceedings, volume 8116 of Lecture Notes in Computer Science, 438-456, September 2013. Springer
Details Download
Cong Wang, David Carral, Pascal Hitzler
SROIQ Syntax Approximation by Using Nominal Schemas
In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds., Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany., volume 1014 of {CEUR} Workshop Proceedings, 988--999, July 2013. CEUR-WS.org
Details Download
David Carral, Pascal Hitzler
Extending Description Logic Rules
In Elena Simperl and Philipp Cimiano and Axel Polleres and Óscar Corcho and Valentina Presutti, eds., The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece. Proceedings, volume 7295 of Lecture Notes in Computer Science, 345--359, May 2012. Springer
Details Download
David Carral, Krzysztof Janowicz, Pascal Hitzler
A Logical Geo-Ontology Design Pattern for Quantifying over Types
In Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer, eds., SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL 12, Redondo Beach, CA, USA. Proceedings., 239-248, November 2012. ACM
Details Download
David Carral, Adila Krisnadhi, Pascal Hitzler
Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas
In Pavel Klinov, Matthew Horridge, eds., Experiences and Directions Workshop 2012, OWLED 2012, Heraklion, Crete, Greece. Proceedings, volume 849, May 2012. CEUR-WS.org
Details Download
Matthias Knorr, David Carral, Pascal Hitzler, Adila Krisnadhi, Frederick Maier, Cong Wang
Recent Advances in Integrating OWL and Rules
In Markus Krötzsch and Umberto Straccia, eds., Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria. Proceedings, volume 7497 of Lecture Notes in Computer Science, 225--228, September 2012. Springer
Details Download
Frederick Maier, Yue Ma, Pascal Hitzler
Paraconsistent OWL and Related Logics
Semantic Web journal, March 2012
Details Download
Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
Nominal Schemas for Integrating Rules and Description Logics
In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, July 2011. CEUR-WS.org
Details Download
Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Proc. 20th International Conference on World Wide Web (WWW'11), 645-654, March 2011. ACM
Details Download
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, eds., Logic and Probability for Scene Interpretation, volume 08091 of Dagstuhl Seminar Proceedings, February 2008. Dagstuhl
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, eds., Proceedings of the 7th International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 649-664, October 2008. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Description Logic Rules
In Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikos Avouris, eds., Proceedings of the 18th European Conference on Artificial Intelligence (ECAI-08), volume 178 of Frontiers in Artificial Intelligence and Applications (FAIA), 80--84, July 2008. IOS Press
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds., Proceedings of the International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 435-450, 2008. Springer
Details Download
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
In Diego Calvanese and Georg Lausen, eds., Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems (RR2008), volume 5341 of LNCS, 150-164, October 2008. Springer
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams
In Dieter Fox, Carla P. Gomes, eds., Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08), 529-534, 2008. AAAI Press
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
In Franz Baader, Carsten Lutz, Boris Motik, eds., Proceedings of the 21st International Workshop on Description Logics (DL2008), volume 353 of CEUR Workshop Proceedings, May 2008. CEUR-WS.org
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
In Steffen Hölldobler, Carsten Lutz, Heinrich Wansing, eds., Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, 362-374, 2008. Springer
Details Download
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with Screech
In Diego Calvanese and Georg Lausen, eds., Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings, volume 5341 of LNCS, 165-180, October 2008. Springer
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, eds., Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), 666-671, January 2007. AAAI Press
Details Download
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, eds., Proceedings of the 6th International Semantic Web Conference (ISWC 2007), volume 4825 of LNCS, 310--323, November 2007. Springer
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity Boundaries for Horn Description Logics
Proceedings of the 22nd AAAI Conference on Artficial Intelligence, 452--457, 2007. AAAI Press
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandečić
Efficient OWL Reasoning with Logic Programs - Evaluations
In Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie, eds., Proceedings of The First International Conference on Web Reasoning and Rule Systems 2007 (RR2007), volume 4524 of Springer Lecture Notes in Computer Science, 370-373, June 2007. Springer
Details
Sebastian Rudolph, Johanna Völker, Pascal Hitzler
Supporting Lexical Ontology Learning by Relational Exploration
In Uta Priss, Simon Polovina, Richard Hill, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 488-491, July 2007. Springer
Details Download
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, eds., Conceptual Structures: Knowledge Architectures for Smart Applications, Proc. ICCS 2007, volume 4604 of LNAI, 464-467, July 2007. Springer
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 Session, 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, eds., Proceedings of the ESWC2006 poster and demo session, 3-4, June 2006
Details
Pascal Hitzler, Markus Krötzsch
Querying formal contexts with answer set programs
In Henrik Schärfe, Pascal Hitzler, Peter Ohrstrom, eds., Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, volume 4068 of Lecture Notes in Artificial Intelligence, 413-426, July 2006. Springer
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, eds., Proceedings of the 2nd Workshop on OWL: Experiences and Directions, volume 216 of CEUR Workshop Proceedings, November 2006. CEUR
Details Download
Markus Krötzsch, Pascal Hitzler, Denny Vrandečić, Michael Sintek
How to reason with OWL in a logic programming system
In Thomas Eiter, Enrico Franconi, Ralph Hodgson, Susie Stephens, eds., Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web, RuleML2006, 17--26, November 2006. IEEE Computer Society
Details Download
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, eds., Proceedings of the Fourth International Conference on Formal Ontology in Information Systems (FOIS 2006), volume 150 of Frontiers in Artificial Intelligence and Applications, 277--288, November 2006. IOS Press
Details
Sebastian Bader, Pascal Hitzler, Andreas Witzel
Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
Details Download
Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler
Computing First-Order Logic Programs by Fibring Artificial Neural Networks
In I. Russell and Z. Markov, eds., Proceedings of the 18th International Florida Artificial Intelligence Research Symposium Conference, FLAIRS05, Clearwater Beach, Florida, May 2005, 314-319, 2005. AAAI Press
Details Download
Pascal Hitzler, Sebastian Bader, Artur S. d'Avila Garcez
Ontology Learning as a Use-Case for Neural-Symbolic Integration —position paper
Proceedings of the IJCAI-05 workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005, 2005
Details Download
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, Holger Wache, eds., 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, Technical Report WS-05-01, 104-107, July 2005. AAAI Press, Menlo Park, California
Details
Pascal Hitzler, Sibylle Schwarz
Level mapping characterizations of selector generated models for logic programs
Proceedings of the 19th Workshop on (Constraint) Logic Programming, W(C)LP 2005, Ulm, Germany, February 2005, 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, Peter Patel-Schneider, eds., Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, volume 188 of CEUR Workshop Proceedings, November 2005
Details
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
Morphisms in Context
In Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme, eds., Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005, volume 3596 of Lecture Notes in Computer Science, 223-237, July 2005. Springer, Berlin
Details Download
Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
Details Download
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, eds., Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, 22-33, 2004. International Information Institute
Details Download
Pascal Hitzler, Guo-Qiang Zhang
A cartesian closed category of approximable concept structures
In Karl-Erich Wolff and Heather D. Pfeiffer and Harry S. Delugach, eds., Conceptual Structures at Work, Proceedings of the 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, July 2004, volume 3127 of Lecture Notes in Artificial Intelligence, 170-185, 2004. Springer
Details Download
Pascal Hitzler
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
In Dietmar Seipel and Michael Hanus and Ulrich Geske and Oskar Bartenstein, eds., Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on (Constraint) Logic Programming, Potsdam, Germany, March 2004, volume 327 of Technical Report, Bayerische Julius-Maximilians-Universit{\"a}t W{\"u}rzburg, Institut f{\"u}r Informatik, 13-27, March 2004
Details
Pascal Hitzler
Default reasoning over domains and concept hierarchies
Proceedings of the 27th German Conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, 351-365, 2004. Springer
Details
Miguel A. Gutiérrez-Naranjo, Pascal Hitzler
ILP Operators for Propositional Connectionist Networks
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 103-108, April 2003. TU Dresden, 01062 Dresden
Details
Pascal Hitzler
Towards a Systematic Account of Different Logic Programming Semantics
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 355-369, 2003. Springer
Details
Pascal Hitzler, Matthias Wendt
Formal Concept Analysis and Resolution in Algebraic Domains
In Aldo de Moor and Bernhard Ganter, eds., Using Conceptual Structures — Contributions to ICCS 2003, 157-170, 2003. Shaker Verlag, Aachen
Details
Pascal Hitzler
Towards Nonmonotonic Reasoning on Hierarchical Knowledge
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 68-80, April 2003. TU Dresden, 01062 Dresden
Details
Pascal Hitzler
A Resolution Theorem for Algebraic Domains
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 2003, 1339-1340, 2003. Morgan Kaufmann Publishers
Details
Pascal Hitzler, Anthony K. Seda
Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 105-119, 2003. Springer
Details
Pascal Hitzler, Matthias Wendt
Characterizing logic programming semantics with level mappings
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 60-67, April 2003. TU Dresden, 01062 Dresden
Details
Pascal Hitzler, Anthony Karel Seda
On the Coincidence of Semantics for Uniquely Determined Programs
In Ted Hurley and Mícheál Mac an Airchinnigh and Michel Schellekens and Anthony Seda, eds., Electronic Notes in Theoretical Computer Science, volume 40, 2002. Elsevier Science Publishers
Details
Pascal Hitzler, Matthias Wendt
The Well-Founded Semantics is a Stratified Fitting Semantics
In Matthias Jarke and Jana Koehler and Gerhard Lakemeyer, eds., Proceedings of the 25th Annual German Conference on Artificial Intelligence, KI2002, Aachen, Germany, September 2002, volume 2479 of Lecture Notes in Artificial Intelligence, 205-221, 2002. Springer
Details
Pascal Hitzler, Anthony K. Seda
VDM^ meets LCF. Domain-Theoretic and Topological Aspects of VDM^
Proceedings of the 5th Irish Workshop on Formal Methods, IWFM'01, Electronic Workshops in Computing (eWiC), 2001. British Computer Society
Details
Pascal Hitzler, Anthony Karel Seda
Semantic Operators and Fixed-Point Theory in Logic Programming
In N. Callaos and others, eds., Proceedings of the joint IIIS and IEEE meeting of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI2001) and the 7th International Conference on Information Systems Analysis and Synthesis (ISAS2001), Orlando, Florida, USA, July, 2001, volume VII, Computer Science and Engineering Part 1, 224-229, 2001. International Institute of Informatics and Systemics: IIIS
Details
Books
Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Synchron Publishers Heidelberg, 2011
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
eXamen.press. Springer-Verlag Berlin Heidelberg, January 2008
Details
Pascal Hitzler, G. Kalmbach, Z. Riečanová
Begabtenförderung im MINT-Bereich
Volume 9. Aegis-Verlag, Ulm, 2004
Details
Book Chapters
Sebastian Bader, Pascal Hitzler
Dimensions of neural-symbolic integration — a structured survey
In S. Artemov and H. Barringer and A. S. d'Avila Garcez and L. C. Lamb and J. Woods, eds., We Will Show Them: Essays in Honour of Dov Gabbay, volume 1, 167-194. King's College Publications, 2005
Details Download
Pascal Hitzler
Kontraktionssätze auf verallgemeinerten metrischen Räumen
In Anatolij Dvurecenskij and Gudrun Kalmbach, eds., Begabtenförderung im MINT-Bereich, volume 6, chapter 5, 79-88. Aegis-Verlag, 2001
Details
Pascal Hitzler, Finbarr Holland, Gudrun Kalmbach
BCU Mathematics Contest 2001 — Problems and Solutions
In Anatolij Dvurecenskij and Gudrun Kalmbach, eds., Begabtenförderung im MINT-Bereich, volume 6, chapter 1, 3-16. Aegis-Verlag, 2001
Details
Edited Proceedings
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
Volume 277 of CEUR Workshop Proceedings, September 2007. CEUR
Details
Technical Reports
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ELP: Tractable Rules for OWL 2
Technical Report, Institut AIFB, Universität Karlsruhe (TH), volume 1752, April 2008
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Expressive Tractable Description Logics based on SROIQ Rules
Technical Report, Universität Karlsruhe (TH), volume 1724, February 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Technical Report, Universität Karlsruhe, volume 1751, January 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
Technical Report, Institut AIFB, Universität Karlsruhe, volume 1753, April 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
Technical Report, Universität Karlsruhe (TH), volume 1767, May 2008
Details
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Technical Report, Institut AIFB, KIT, February 2008
Details
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
What Is Approximate Reasoning?
Technical Report, Institute AIFB, University of Karlsruhe, volume 1731, March 2008
Details Download
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Approximate OWL-Reasoning with SCREECH
Technical Report, Institute AIFB, University of Karlsruhe, volume 1729, March 2008
Details
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexity of Horn Description Logics
Technical Report, Instistute AIFB, Universität Karlsruhe, volume 1432, February 2007
Details
Markus Krötzsch, Pascal Hitzler, Marc Ehrig, York Sure
Category Theory in Ontology Research: Concrete Gain from an Abstract Approach
Technical Report, AIFB, Universität Karlsruhe, volume 893, March 2005
Details
Pascal Hitzler
Default reasoning over domains and concept hierarchies
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--14, 2003
Details
Pascal Hitzler
A generalized resolution theorem
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--13, 2003
Details
Pascal Hitzler
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--15, 2003
Details
Roland Heinze, Pascal Hitzler, Anthony Karel Seda
Convergence Classes and Spaces of Partial Functions
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-02, 2002
Details
Pascal Hitzler
Resolution and Logic Programming in Algebraic Domains: Negation and Defaults
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-05, 2002
Details Download
Pascal Hitzler, Matthias Wendt
A uniform approach to logic programming semantics
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-14, 2002
Details
Pascal Hitzler
Circular Belief in Logic Programming Semantics
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-13, 2002
Details
Pascal Hitzler
Towards Nonmonotonic Reasoning on Hierarchical Knowledge
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV--02--09, 2002
Details
Pascal Hitzler
Contexts, Concepts, and Logic of Domains
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-12, 2002
Details
Pascal Hitzler, Anthony Karel Seda
Continuity of Semantic Operators in Logic Programming and Their Approximation by Artificial Neural Networks
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-01-07, 2001
Details
Project Deliverables
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 Amsterdam, LarKC Project Deliverable, September 2009
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
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), January 2006
Details
Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandečić, Holger Wache
Report on realizing practical approximate and distributed reasoning for ontologies
AIFB, University of Karlsruhe, December 2006
Details Download
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, December 2004
Details
