Publications
For slides see my list of
presentations.
[Currently Processing] [Books] [Edited Books (Research Collections)] ] [Edited Books (Proceedings)] [In Journals] [ Book Contributions] [In Conference Proceedings] [W3C Documents] [Journal Special Issues] [In Workshop Proceedings] [Workshop Proceedings] [Posters and Demos] [In Bulletins] [Theses] [Project Reports and Deliverables] [Technical Reports] [Edited Books (enhancement programmes)] [ Book Contributions (enhancement programmes)] [Manuscripts] [Edited Manuscripts]
Please note that the download versions of the papers are sometimes not identical to the printed versions, although always good approximations of them.
Currently Processing
- Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases.
Shasha Huang, Qingguo Li, Pascal Hitzler
Submitted to a journal. - A Tractable Resolution Procedure for SROELVn(∩s,×)
Cong Wang, Pascal Hitzler.
Submitted to a conference. - Extending Description Logic Rules.
David Carral Martinez, Pascal Hitzler
Submitted to a conference. - A Tableau Algorithm for Description Logics with Nominal Schemas.
Adila Krisnadhi, Pascal Hitzler
Submitted to a conference.
[pdf (technical report)] - Reconciling OWL and Non-monotonic Rules for the Semantic Web.
Matthias Knorr, Pascal Hitzler, Fred Maier
Submitted to a conference.
[pdf (technical report)] - Moving beyond sameAs with PLATO: Partonomy detection for Linked Data.
Prateek Jain, Pascal Hitzler, Kunal Verma, Peter Yeh, Amit Sheth
Submitted to a conference. - Alignment-based Querying of Linked Open Data.
Amit Krishna Joshi, Prateek Jain, Pascal Hitzler, Peter Z. Yeh, Kunal Verma, Amit P. Sheth, Mariana Damova
Submitted to a conference. - Type-Elimination-Based Reasoning for the Description Logic SHIQbs Using Decision Diagrams and Disjunctive Datalog.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Logical Methods in Computer Science.
To appear. - Complexity of Horn Description Logics.
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
ACM Transactions on Computational Logic.
To appear.
[pdf (technical report)] - Paraconsistent OWL and Related Logics.
Frederick Maier, Yue Ma, Pascal Hitzler
Semantic Web journal.
To appear.
[pdf (paper)]
Books
- Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen.
Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Synchron Verlag, Heidelberg, 2011, ISBN 978-3-935025-85-0 - Mathematical Aspects of Logic Programming Semantics.
Pascal Hitzler, Anthony K. Seda
Studies in Informatics, Chapman and Hall/CRC Press, 2010.
[publisher page] - Foundations of Semantic Web Technologies.
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
Textbooks in Computing, Chapman and Hall/CRC Press, 2009.
[book website] - Semantic Web. Grundlagen.
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, York Sure
Springer textbook, 2008.
[book website]
Edited Books (Research Collections)
- Conceptual Structures in Practice.
Pascal Hitzler, Henrik Schärfe (eds.)
Chapman & Hall/CRC studies in informatics series, Boca Raton FL, 2009. ISBN 978-1-4200-6062-1.
[publisher page] - Perspectives of Neural-Symbolic Integration.
Barbara Hammer, Pascal Hitzler (eds.)
Studies in Computational Intelligence, Vol. 77. Springer, 2007, ISBN 978-3-540-73952-1.
[publisher page]
Edited Books (Proceedings)
- On the Move to Meaningful Internet Systems: OTM 2011. Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I.
R. Meersman, T. Dillon, P. Herrero, A. Kumar, M. Reichert, L. Qing, B.C. Ooi, E. Damiani, D.C. Schmidt, J. White, M. Hauswirth, P. Hitzler, M.K. Mohania (eds.)
Lecture Notes in Computer Science Vol. 7044, Springer, Heidelberg, 2011.
- On the Move to Meaningful Internet Systems: OTM 2011. Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II.
R. Meersman, T. Dillon, P. Herrero, A. Kumar, M. Reichert, L. Qing, B.C. Ooi, E. Damiani, D.C. Schmidt, J. White, M. Hauswirth, P. Hitzler, M.K. Mohania (eds.)
Lecture Notes in Computer Science Vol. 7045, Springer, Heidelberg, 2011.
- The Semantic Web - ISWC 2010. 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I.
P. Patel-Schneider, Y. Pan, P. Hitzler, P. Mika, L. Zhang, J. Pan, I. Horrocks, B. Glimm (eds.)
Lecture Notes in Computer Science Vol. 6496. Springer, Heidelberg, 2010. - The Semantic Web - ISWC 2010. 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part II.
P. Patel-Schneider, Y. Pan, P. Hitzler, P. Mika, L. Zhang, J. Pan, I. Horrocks, B. Glimm (eds.)
Lecture Notes in Computer Science Vol. 6497. Springer, Heidelberg, 2010. - Web Reasoning and Rule Systems. Fourth International Conference, RR 2010, Bressanone, Italy, September 22-24, 2010, Proceedings.
Pascal Hitzler, Thomas Lukasiewicz (eds.)
Lecture Notes in Computer Science Volume 6333. Springer, Heidelberg 2010. - Artificial General Intelligence. Second Conference on Artificial General Intelligence, AGI 2009, Arlington, Virginia, USA, March 6-9, 2009. Proceedings.
Ben Goertzel, Pascal Hitzler, Marcus Hutter (eds.)
Atlantis Press, Amsterdam, 2009. ISBN 978-90-78677-24-6. - Conceptual Structures: Inspiration and Application. 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006, Proceedings.
H. Schärfe, P. Hitzler, P. Øhrstrøm (eds.)
Lecture Notes in Computer Science Vol. 4068, Springer, Heidelberg, 2006. - Inspiration and Application. Contributions to ICCS 2006, 14th International Conference on Conceptual Structures, ICCS 2006.
P. Hitzler, H. Schärfe, P. Øhrstrøm (eds.)
Aalborg University Press, Aalborg, Denmark, ISBN 87-7307-768-2.
Journal Publications
- Open and transparent: the review process of the Semantic Web journal.
Krzysztof Janowicz, Pascal Hitzler
Learned Publishing 25 (1), 48-55, 2012.
[pdf (paper)] - Computing inconsistency measure based on paraconsistent semantics.
Yue Ma, Guilin Qi, Pascal Hitzler
Journal of Logic and Computation 21 (6), 1257-1281, 2011.
[pdf (paper)] [publisher version] -
Local Closed-World Reasoning with Description Logics
under the Well-founded Semantics.
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
Artificial Intelligence 175(9-10), 2011, 1528-1554.
[pdf (technical report)] [publisher version] - Semantic Web surveys and applications.
Pascal Hitzler, Krzysztof Janowicz
Semantic Web 2(2), 65-66, 2011.
[pdf (paper)] - Semantic Web Tools and Systems.
Pascal Hitzler, Krzysztof Janowicz
Semantic Web 2(1), 1-2, 2011.
[pdf (paper)] - A reasonable Semantic Web.
Pascal Hitzler, Frank van Harmelen
Semantic Web 1(1-2), 39-44, 2010.
[pdf (paper)] [publisher version] - Semantic Web - Interoperability, Usability, Applicability.
Pascal Hitzler, Krzysztof Janowicz
Semantic Web 1(1-2), 1-2, 2010.
[publisher version] - Concept Learning in Description Logics Using Refinement Operators.
Jens Lehmann, Pascal Hitzler
Machine Learning 78(1-2), 203-250, 2010.
[pdf (paper)] - Extracting Reduced Logic Programs from Artificial Neural
Networks.
Jens Lehmann, Sebastian Bader, Pascal Hitzler
Applied Intelligence 32(3), 249-266, 2010.
[pdf (technical report)] - Generalized Distance Functions in the Theory of Computation.
Anthony Karel Seda and Pascal Hitzler
The Computer Journal 53(4), 443-464, 2010
[pdf (free access)] - Computational Complexity and Anytime Algorithm for Inconsistency Measurement.
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin
International Journal of Software and Informatics 4(1), 3-21, 2010.
[pdf (paper)] - Perspectives and challenges for recurrent neural network training.
Marco Gori, Barbara Hammer, Pascal Hitzler, Guenther Palm
Logic Journal of the IGPL 18 (5), 617-619, 2010.
[online version] - Preface - Special issue on commonsense reasoning for the semantic web
Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi
Annals of Mathematics and Artificial Intelligence 58(1-2), 1-2, 2010.
- Reports of the AAAI 2010 Conference Workshops.
David W. Aha, Mark Boddy, Vadim Bulitko, Artur S. d'Avila Garcez, Prashant Doshi, Stefan Edelkamp, Christopher Geib, Piotr Gmytrasiewicz, Robert P. Goldman, Pascal Hitzler, Charles Isbell, Darsana Josyula, Leslie Pack Kaelbling, Kristian Kersting, Maithilee Kunda, Luis C. Lamb, Bhaskara Marthi, Keith McGreggor, Vivi Nastase, Gregory Provan, Anita Raja, Ashwin Ram, Mark Riedl, Stuart Russell, Ashish Sabharwal, Jan-Georg Smaus, Gita Sukthankar, Karl Tuyls, Ron van der Meyden, Alon Halevy, Lilyana Mihalkova, Sriraam Natarajan
AI Magazine 31 (4), 95-108, 2010. - Facets of Artificial General Intelligence.
Pascal Hitzler, Kai-Uwe Kühnberger
Künstliche Intelligenz 2/09, 58-59, 2009.
[pdf (paper)] - KI 2009 - AI Mashup Challenge 2009.
Brigitte Endres-Niggemeyer, Pascal Hitzler, Valentin Zacharias
KI - Künstliche Intelligenz 3/09, August 2009, page 52. - Connectionist Model Generation: A First-Order Approach.
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
Neurocomputing 71, 2008, 2420-2432.
[pdf (technical report)] -
Semantic Matchmaking of Web Resources with Local Closed-World Reasoning.
Stephan Grimm, Pascal Hitzler
International Journal of e-Commerce 12 (2), 89-126, Winter 2007-8.
[pdf (technical report)] -
DOLCE ergo SUMO: On Foundational and Domain Models in the SmartWeb Integrated Ontology (SWIntO).
D. Oberle, A. Ankolekar, P. Hitzler, P. Cimiano, M. Sintek, M. Kiesel, B. Mougouie, S. Vembu, S. Baumann, M. Romanelli, P. Buitelaar, R. Engel, D. Sonntag, N. Reithinger, B. Loos, R. Porzel, H.-P. Zorn, V. Micelli, C. Schmidt, M. Weiten, F. Burkhardt, J. Zhou
Journal of Web Semantics: Science, Services and Agents on the World Wide Web 5 (3), 2007, 156-174.
[pdf (technical report)] - A semantic future for AI.
R. Studer, A. Ankolekar, P. Hitzler, Y. Sure
IEEE Intelligent Systems 21 (4), 8-9, July/August 2006.
[pdf (technical report)] - A categorical view on algebraic lattices in formal concept analysis.
Pascal Hitzler, Markus Krötzsch and Guo-Qiang Zhang
Fundamenta Informaticae 74 (2-3), 301-328, 2006.
[pdf (technical report)] - The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence.
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
Invited Paper.
Information 9 (1), 2006.
[pdf (paper)] - The Semantic Web in One Day.
York Sure, Pascal Hitzler, Andreas Eberhart, Rudi Studer
IEEE Intelligent Systems 20 (3), 85-87, May 2005.
[pdf (paper)] - Towards a Systematic Account of Different Semantics for Logic Programs.R
Journal of Logic and Computation 15 (3), 2005, 391-404.
[pdf (paper)][pdf (published version)] - A uniform approach to logic programming semantics.
Pascal Hitzler, Matthias Wendt
Theory and Practice of Logic Programming 5 (1-2), 2005, 123-159.
[gzipped postscript (technical report)] [pdf (technical report)] - Logic Programs and Connectionist Networks.
Pascal Hitzler, Steffen Hölldobler, Anthony K. Seda
Journal of Applied Logic 2(3), 2004, 245-272.
Special Issue on Neural-Symbolic Systems.
7th ranked top downloaded paper of the journal in 2004!
[pdf (technical report)] - Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks.
Sebastian Bader, Pascal Hitzler
Journal of Applied Logic 2(3), 2004, 273-300.
Special Issue on Neural-Symbolic Systems.
10th ranked top downloaded paper of the journal in 2004!
[gzipped postscript (technical report)] [pdf (technical report)] - A generalized resolution theorem.
Journal of Electrical Engineering 55 (1-2), 2004, 25-30.
[ps.gz (technical report)] [pdf (technical report)] - Generalized Metrics and Uniquely Determined Logic Programs.
Pascal Hitzler, Anthony K. Seda
Theoretical Computer Science 305 (1-3), 2003, 187-219.
Special Issue: Proceedings of the Dagstuhl Seminar 00231 "Topology in Computer Science: Constructivity; Asymmetry and Partiality; Digitization"
[gzipped postscript (paper)] [pdf (paper)] - Unique Supported-Model Classes of Logic Programs. R
Pascal Hitzler, Anthony K. Seda
Information 4 (3). 2001, 295-302.
[gzipped postscript (paper)] [pdf (paper)] - A "Converse" of the Banach Contraction Mapping Theorem.
Pascal Hitzler, Anthony K. Seda
Journal of Electrical Engineering 52 (10/s), 2001, 3-6.
[gzipped postscript (paper)] [pdf (paper)] - Dislocated Topologies.
Pascal Hitzler, Anthony K. Seda
Journal of Electrical Engineering 51 (12/s), 2000, 3-7.
[gzipped postscript (paper)] [pdf (paper)] - Some Issues Concerning Fixed-Points in Computational Logic: Quasi-Metrics, Multivalued Mappings and the Knaster-Tarski Theorem.
Pascal Hitzler, Anthony K. Seda
Topology Proceedings 24, Summer 1999, 223-250.
[gzipped postscript (paper)] [pdf (paper)] - Generalized Ultrametrics, Domains and an Application to Computational Logic.
Pascal Hitzler, Anthony K. Seda
Irish Mathematical Society Bulletin 41 (1998), 31-43.
[gzipped postscript (paper)] [pdf (paper)] - Topology and Iterates in Computational Logic.
Pascal Hitzler, Anthony K. Seda
Topology Proceedings 22, Summer 1997, 427-469.
[gzipped postscript (paper)] [pdf (paper)]
Book Contributions
- OWL and Rules.
Adila Alfa Krisnadhi, Frederick Maier, Pascal Hitzler
In: A. Polleres, C. d'Amato, M. Arenas, S. Handschuh, P. Kroner, S. Ossowski, P.F. Patel-Schneider (eds.), Reasoning Web. Semantic Technologies for the Web of Data. 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures. Lecture Notes in Computer Science Vol. 6848, Springer, Heidelberg, 2011, pp. 382-415.
[pdf (technical report)] - Ontologies and Rules.
Pascal Hitzler, Bijan Parsia
In: Steffen Staab and Rudi Studer (eds.), Handbook on Ontologies. Springer, 2nd Edition, 2009, pp. 111-132.
[pdf (chapter)] - Learning Expressive Ontologies.
Johanna Völker, Peter Haase, Pascal Hitzler
In Paul Buitelaar and Philipp Cimiano (eds.), Bridging the Gap between Text and Knowledge. IOS Press, Amsterdam, 2008, ISBN 978-1-58603-818-2, pp. 45-69.
[pdf (chapter)] - The Core Method: Connectionist Model Generation for First-Order Logic Programs.
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel.
In: Barbara Hammer, Pascal Hitzler (eds.), Perspectives of Neural-Symbolic Integration. Studies in Computational Intelligence Vol. 77. Springer, 2007, ISBN 978-3-540-73952-1, pp. 205-232.
[pdf (chapter)] - Knowledge Representation and Ontologies.
Stephan Grimm, Pascal Hitzler, Andreas Abecker
In: Rudi Studer, Stephan Grimm, Andreas Abecker (eds.), Semantic Web Services: Concepts, Technology and Applications, Springer, Berlin, 2007, pp. 51-106.
[pdf (chapter)] - Visual Ontology Modeling for Electronic Markets.
Saartje Brockmans, Andreas Geyer-Schulz, Pascal Hitzler, Rudi Studer
In: Thomas Dreier, Rudi Studer, Christof Weinhard (eds.), Information Management and Market Engineering, Universitätsverlag Karlsruhe, 2006, pp. 85-100.
[online] - Dimensions of neural-symbolic integration - a structured survey.
Sebastian Bader, Pascal Hitzler
In: S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb and J. Woods (eds). We Will Show Them: Essays in Honour of Dov Gabbay, Volume 1. International Federation for Computational Logic, College Publications, 2005, pp. 167-194.
[ps (technical report)] [zipped ps (technical report)] [pdf (technical report)] - Convergence Classes and Spaces of Partial Functions.
Roland Heinze, Pascal Hitzler, Anthony K. Seda
In: G.-Q. Zhang, J. Lawson, Y.M. Liu and M.K. Luo (eds), Domain Theory, Logic and Computation. Semantic Structures in Computation Vol. 3, Kluwer Acad. Publ., 2003, 75-115.
[pdf (paper)] - The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming.
Pascal Hitzler, Anthony K. Seda
In: F-V. Kuhlmann, S. Kuhlmann and M. Marshall (eds.), Valuation Theory and Its Applications, Vol. I. Fields Institute Communications Vol. 32, American Mathematical Society, 2002, 219-235.
[gzipped postscript (paper)] [pdf (paper)] - Strong and Weak Topologies.
In: G. Kalmbach, Quantum Measures and Spaces, Kluwer Acad. Publ., Dordrecht, 1998, pp. 223-231.
Conference Publications
- Local Closed World Reasoning: Grounded Circumscription for OWL.
Kunal Sengupta, Adila Krisnadhi, Pascal Hitzler
In: L. Aroyo, C. Welty, H. Alani, J. Taylor, A. Bernstein, L. Kagal, N. F. Noy, E. Blomqvist (Eds.): The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I. Lecture Notes in Computer Science Vol. 7031, Springer, Heidelberg, 2011, pp. 617-632.
[pdf (paper)] - Paraconsistent Semantics for Hybrid MKNF Knowledge Bases.
Shasha Huang, Qingguo Li, Pascal Hitzler
In: C. Gutierrez, S. Rudolph (Eds.), Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings. Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011, pp. 93-107.
[pdf (paper)] [pdf (extended technical report)] - Local closed world semantics: grounded circumscription for description logics.
Adila Krisnadhi, Kunal Sengupta, Pascal Hitzler
In: C. Gutierrez, S. Rudolph (Eds.), Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011, Proceedings. Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011, pp. 263-268. - Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton.
Prateek Jain, Peter Z. Yeh, Kunal Verma, Reymonrod G. Vasquez, Mariana Damova, Pascal Hitzler, Amit P. Sheth
In: Grigoris Antoniou, Marko Grobelnik, Elena Paslaru Bontas Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter De Leenheer, Jeff Pan (Eds.): The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I. Lecture Notes in Computer Science 6643, Springer, 2011, pp. 80-92.
[pdf (paper)] - What's happening in Semantic Web ... and what FCA could have to do with it.
Pascal Hitzler
In: P. Valtchev and R. Jäschke (Eds.): Formal Concept Analysis, 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2011, Proceedings. Lecture Notes in Artificial Intelligence 6628, Springer, Heidelberg, pp. 18-23. - A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies.
Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
In: S. Sadagopan, Krithi Ramamritham, Arun Kumar, M.P. Ravindra, Elisa Bertino, Ravi Kumar (eds.), WWW '11 20th International World Wide Web Conference, Hyderabad, India, March/April 2011. ACM, New York, 2011, pp. 645-654.
[pdf (paper)] -
Ontology Alignment for Linked Open Data.
Prateek Jain, Pascal Hitzler, Amit P. Sheth, Kunal Verma, Peter Z. Yeh
In P. Patel-Schneider, Y. Pan, P. Hitzler, P. Mika, L. Zhang, J. Pan, I. Horrocks, B. Glimm (eds.), The Semantic Web - ISWC 2010. 9th International Semantic Web Conference, ISWC 2010, Shanghai, China, November 7-11, 2010, Revised Selected Papers, Part I. Lecture Notes in Computer Science Vol. 6496. Springer, Berlin, 2010, pp. 402-417
[pdf (paper)] [more info] - Provenance Context Entity (PaCE): Scalable provenance tracking for scientific RDF data.
Satya S. Sahoo, Olivier Bodenreider, Pascal Hitzler, Amit P. Sheth, Krishnaprasad Thirunarayan
In: Michael Gertz, Bertram Ludäscher (eds.), Scientific and Statistical Database Management, 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30 - July 2, 2010. Proceedings. Lecture Notes in Computer Science 6187 Springer 2010, pp. 461-470
[pdf (technical report)] - Approximate Instance Retrieval on Ontologies.
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzler
In: P. Garcia Bringas, A. Hameurlain, G. Quirchmayr, Database and Expert Systems Applications, 21st International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part I. Springer Lecture Notes in Computer Science Vol. 6261, 2010, pp. 503-511.
[pdf (technical report)] -
Linked Data is Merely More Data.
Prateek Jain, Pascal Hitzler, Peter Z. Yeh, Kunal Verma, Amit P. Sheth
In: Dan Brickley, Vinay K. Chaudhri, Harry Halpin, Deborah McGuinness: Linked Data Meets Artificial Intelligence. Technical Report SS-10-07, AAAI Press, Menlo Park, California, 2010, pp. 82-86. ISBN 978-1-57735-461-1. Proceedings of LinkedAI at the AAAI Spring Symposium, March 2010.
[pdf (technical report)] -
Towards Reasoning Pragmatics.
Pascal Hitzler
In: Krzysztof Janowicz, Martin Raubal, Sergei Levashkin (Eds.), GeoSpatial Semantics, Third International Conference, GeoS 2009, Mexico City, Mexico, December 3-4, 2009. Proceedings. Lecture Notes in Computer Science Vol. 5892 Springer 2009, pp. 9-25.
[pdf (paper)] -
An Anytime Algorithm for Computing Inconsistency Measurement.
Yue Ma, Guilin Qi, Guohui Xiao, Pascal Hitzler, Zuoquan Lin
In: Dimitris Karagiannis, Zhi Jin (Eds.): Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings. Lecture Notes in Computer Science 5914 Springer 2009, pp. 29-40.
[pdf (paper)] -
A Preferential Tableaux Calculus for Circumscriptive ALCO.
Stephan Grimm, Pascal Hitzler
In: Axel Polleres, Terrance Swift (Eds.), Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 2009, Proceedings. Lecture Notes in Computer Science Vol. 5837, Springer, pp. 40-54.
Runner-up for Best Paper Award.
[pdf (paper)] -
Paraconsistent reasoning for OWL 2.
Yue Ma, Pascal Hitzler
In: Axel Polleres, Terrance Swift (Eds.), Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 2009, Proceedings. Lecture Notes in Computer Science Vol. 5837, Springer, pp. 197-211.
[pdf (paper)] - RaDON - Repair and Diagnosis in Ontology Networks.
Qiu Ji, Peter Haase, Guilin Qi, Pascal Hitzler, Steffen Stadtmüller
In: Lora Aroyo, Paolo Traverso, Fabio Ciravegna, Philipp Cimiano, Tom Heath, Eero Hyvönen, Riichiro Mizoguchi, Eyal Oren, Marta Sabou, Elena Simperl (eds.) The Semantic Web: Research and Applications: 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31-June 4, 2009, pp. 863-867.
[pdf (paper)] - The Importance of Being Neural-Symbolic - A Wilde Position.
Pascal Hitzler, Kai-Uwe Kühnberger
In: Ben Goertzel, Pascal Hitzler, Marcus Hutter (eds.), Artificial General Intelligence. Second Conference on Artificial General Intelligence, AGI 2009, Arlington, Virginia, USA, March 6-9, 2009. Proceedings, pp. 208-209.
[pdf (paper)] -
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
In: Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, 435-450.
[pdf (technical report)] -
ELP: Tractable Rules for OWL 2.
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
In: Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan (eds.), The Semantic Web - ISWC 2008, 7th International Semantic Web Conference. Springer Lecture Notes in Computer Science Vol. 5318, 2008, pp. 649-664.
[pdf (paper)] [pdf (extended technical report)] -
What Is Approximate Reasoning?
Sebastian Rudolph, Tuvshintur Tserendorj, Pascal Hitzler
In: D. Calvanese, G. Lausen (eds.), Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October/November 2008. Springer Lecture Notes in Computer Science Vol. 5341, 2008, pp. 150-164.
[pdf (technical report)] -
Approximate OWL-Reasoning with Screech.
Tuvshintur Tserendorj, Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
In: D. Calvanese, G. Lausen (eds.), Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October/November 2008. Springer Lecture Notes in Computer Science Vol. 5341, 2008, pp. 165-180.
[pdf (technical report)] -
Cheap Boolean Role Constructors for Description Logics.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
In: Steffen Hölldobler and Carsten Lutz and Heinrich Wansing (eds.), Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, pp. 362-374. Springer, September 2008.
[pdf (technical report)] - Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
In: Dieter Fox and Carla P. Gomes (eds.), Proceedings of the 23rd AAAI Conference on Artficial Intelligence, AAAI-08, Chicago, USA, July 2008. AAAI Press, pp. 529-534.
[pdf (paper)] [pdf (extended technical report)] -
Description Logic Rules.
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
In: Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (eds.), Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, Patras, Greece, July 2008. IOS Press, 2008, pp. 80-84.
[pdf (paper)] [pdf (extended technical report)] -
A Coherent Well-founded model for Hybrid MKNF knowledge bases.
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler
In: Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikos Avouris (eds.), Proceedings of the 18th European Conference on Artificial Intelligence, ECAI2008, Patras, Greece, July 2008. IOS Press, 2008, pp. 99-103.
[pdf (paper)] -
A Refinement Operator Based Learning Algorithm for the ALC Description Logic.
Jens Lehmann, Pascal Hitzler
In: H. Blockeel, J. Ramon, J. Shavlik, P. Tadepalli (eds.), Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 2007, Revised Selected Papers. Lecture Notes in Artificial Intelligence 4894, 2008, pp. 147-160.
Best Student Paper Award at ILP 2007!
[pdf (paper)] [pdf (technical report)] -
Foundations of Refinement Operators for Description Logics.
Jens Lehmann, Pascal Hitzler
In: H. Blockeel, J. Ramon, J. Shavlik, P. Tadepalli (eds.), Inductive Logic Programming, 17th International Conference, ILP 2007, Corvallis, OR, USA, June 2007, Revised Selected Papers. Lecture Notes in Artificial Intelligence 4894, 2008, pp. 161-174.
Best Student Paper Award at ILP 2007!
[pdf (paper)] [pdf (technical report)] -
Towards Tractable Local Closed World Reasoning for the Semantic Web.
Matthias Knorr, Jose Alferes, Pascal Hitzler
In: Jose Neves, Manuel Filipe Santos, Jose Machado (eds.): Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Guimaraes, Portugal, December 3-7, 2007, Proceedings. Lecture Notes in Computer Science 4874, Springer 2007, pp. 3-14.
[pdf (technical report)] -
Conjunctive Queries for a Tractable Fragment of OWL 1.1.
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
In: Karl Aberer, Key-Sun Choi, Natasha Fridman Noy, Dean Allemang, Kyung-Il Lee, Lyndon J. B. Nixon, Jennifer Golbeck, Peter Mika, Diana Maynard, Riichiro Mizoguchi, Guus Schreiber, Philippe Cudre-Mauroux (eds.): The Semantic Web, 6th International Semantic Web Conference, 2nd Asian Semantic Web Conference, ISWC 2007 + ASWC 2007, Busan, Korea, November 11-15, 2007. Lecture Notes in Computer Science 4825, Springer 2007, pp. 310-323.
[pdf (paper)] -
Any-World Access to OWL from Prolog.
Tobias Matzner, Pascal Hitzler
In: Joachim Hertzberg, Michael Beetz, Roman Englert (eds.): KI 2007: Advances in Artificial Intelligence, 30th Annual German Conference on AI, KI 2007, Osnabrück, Germany, September 2007, Proceedings. Lecture Notes in Computer Science 4667 Springer 2007, pp. 84-98.
[pdf (technical report)] -
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics.
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
In K. Mellouli (ed.), Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, Hammamet, Tunisia, October 2007. Springer Lecture Notes in Artificial Intelligence 4724, pp. 91-102.
[paper (pdf)] -
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
In K. Mellouli (ed.), Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty, Hammamet, Tunisia, October 2007. Springer Lecture Notes in Artificial Intelligence 4724, pp. 30-41.
[paper (pdf)] -
Complexity Boundaries for Horn Description Logics
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
In: Proceedings of the 22nd AAAI Conference on Artficial Intelligence. AAAI Press, Vancouver, British Columbia, Canada, 2007, pp. 452-457.
[pdf (paper)] [pdf (extended technical report)] -
Supporting Lexical Ontology Learning by Relational Exporation.
Sebastian Rudolph, Johanna Völker, Pascal Hitzler
In Uta Priss, Simon Polovina, Richard Hill (eds.), Conceptual Structures: Knowledge Architectures for Smart Applications, Proceedings ICCS 2007, volume 4604 of LNAI, pp. 488-491. Springer, Sheffield, UK, July 2007.
[pdf (paper)] -
Quo Vadis, CS? - On the (non)-impact of Conceptual Structures on the
Semantic Web.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
In Uta Priss, Simon Polovina, Richard Hill (eds.), Conceptual Structures: Knowledge Architectures for Smart Applications, Proceedings ICCS 2007, volume 4604 of LNAI, pp. 464-467. Springer, Sheffield, UK, July 2007.
[pdf (paper)] -
Acquisition of OWL DL Axioms from Lexical Resources.
Johanna Völker, Pascal Hitzler, Philipp Cimiano
In: Enrico Franconi, Michael Kifer, Wolfgang May (eds.), The Semantic Web: Research and Applications. Proceedings of the 4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4519, pp. 670-685.
[paper (pdf)] -
Algorithms for Paraconsistent Reasoning with OWL.
Yue Ma, Pascal Hitzler, Zuoquan Lin
In: Enrico Franconi, Michael Kifer, Wolfgang May (eds.), The Semantic Web: Research and Applications. Proceedings of the 4th European Semantic Web Conference, ESWC2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4519, pp. 399-413.
[pdf (paper)] [pdf (extended technical report)] -
Decidability Under the Well-Founded Semantics.R
Natalia Cherchago, Pascal Hitzler, Steffen Hölldobler
In: Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.), Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4524, pp. 269-278.
[pdf (paper)] -
Efficient OWL Reasoning with Logic Programs - Evaluations.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
In: Massimo Marchiori, Jeff Z. Pan, Christian de Sainte Marie (eds.), Proceedings of the First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007. Springer Lecture Notes in Computer Science 4524, pp. 370-373.
For the presentation of this paper we received the best poster award.
[pdf (paper)] -
A Fully Connectionist Model Generator for Covered First-Order Logic Programs.
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel
In: Manuela M. Veloso (ed.), Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07, Hyderabad, India, January 2007, AAAI Press, Menlo Park CA, 2007, pp. 666-671.
[pdf (paper)] - Formalizing ontology alignment and its operations with category theory.
A. Zimmermann, M. Krötzsch, P. Hitzler, J. Euzenat
In: B. Bennett and C. Fellbaum (eds.), Proceedings of the International Conference on Formal Ontology in Information Systems, FOIS2006, Baltimore, Maryland, November 2006.
[pdf (technical report)] - How to reason with OWL in a logic programming system.
M. Krötzsch, P. Hitzler, D. Vrandecic, M. Sintek
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, Athens, Georgia, November 2006, IEEE Computer Society, ISBN 0-7695-2652-7, 2006, pp. 17-26.
[pdf (technical report)] - Querying formal contexts with answer set programs.
P. Hitzler, M. Krötzsch
In: H. Schärfe, P. Hitzler and P. Øhrstrøm (eds.), Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006. Lecture Notes in Computer Science 4068, Springer, 2006, 260-273.
[pdf (technical report)] - Query-Based Multicontexts for Knowledge Base Browsing: An Evaluation.
J. Tane, P. Cimiano, P. Hitzler
In: H. Schärfe, P. Hitzler and P. Øhrstrøm (eds.), Conceptual Structures: Inspiration and Application, Proceedings of the 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 2006. Lecture Notes in Computer Science 4068, Springer, 2006, 413-426.
[pdf (technical report)] - A Metamodel and UML Profile for Rule-extended OWL DL Ontologies.
S. Brockmans, P. Haase, P. Hitzler, R. Studer
In: York Sure, John Domingue (eds.): The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006, Budva, Montenegro, June 11-14, 2006, Proceedings. Lecture Notes in Computer Science 4011 Springer 2006, 303-316.
[pdf (technical report)] - Resolution-based approximate reasoning for OWL DL.
Pascal Hitzler, Denny Vrandecic
In: Y. Gil et al. (eds.), Proceedings of ISWC2005, Galway, Ireland, November 2005. Lecture Notes in Computer Science 3729, pp. 383-397, Springer, Berlin, 2005.
[pdf (paper)] - The well-supported semantics for multidimensional dynamic logic programs.
(with F. Banti, J. Alferes and A. Brogi)
In: Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina (eds.): Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings. Lecture Notes in Computer Science 3662 Springer 2005, pp. 356-368.
[pdf (paper)] - Morphisms in Context.
(with Markus Krötzsch and Guo-Qiang Zhang)
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. Lecture Notes in Computer Science 3596, Springer, Berlin, 2005, pp. 223-237.
[pdf (paper)][pdf (extended technical report)] - Computing First-Order Logic Programs by Fibring Artificial Neural Networks.
(with Sebastian Bader and Artur S. d'Avila Garcez)
I. Russell, Z. Markov (eds.): Proceedings of the Eighteenth International Florida Artificial Intelligence Research Symposium Conference, Clearwater Beach, Florida, USA. AAAI Press 2005, May 2005, pp. 314-319.
[pdf (paper)] - The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence.
(with Sebastian Bader and Steffen Hölldobler)
In: L. Li and K.K. Yen, Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004. ISBN 4-901329-02-2, International Information Institute, pp. 22-33.
[pdf (paper), pdf (extended abstract)] - Default Reasoning over Domains and Concept Hierarchies.
In: Proceedings of the 27th German conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, Lecture Notes in Artificial Intelligence 3238, Springer, Berlin, 2004, pp. 351-365.
[gzipped postscript (paper, with appendix: complete proofs)] [pdf (paper, with appendix: complete proofs)] - A cartesian closed category of approximable concept structures.
(with Guo-Qiang Zhang)
In: Karl-Erich Wolff, Heather D. Pfeiffer and Harry S. Delugach (Eds), Conceptual Structures at Work, Proceedings fo the 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, July 2004. Lecture Notes in Artificial Intelligence Vol. 3127, Springer, 2004, ppp. 170-185.
[pdf (paper)] - Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion.R
In: D. Seipel, M. Hanus, U. Geske, and O. Bartenstein, Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management and the 18th Workshop on Logic Programming, Potsdam, Germany, March 4-6, 2004, 13-27. Technical Report 327, Bayerische Julius-Maximilians-Universität Würzburg, Institut für Informatik, March 2004.
[gzipped postscript (paper)] [pdf (paper)] - A Resolution Theorem for Algebraic Domains.
In G. Gottlob and T. Walsh (eds.), Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI-03, Acapulco, Mexico, August 2003, pp. 1339-1340.
- Towards a Systematic Account of Different Logic Programming Semantics.
In: Andreas Günter, Rudolf Kruse and Bernd Neumann, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003. Springer Lecture Notes in Artificial Intelligence Vol. 2821, 2003, pp. 355-369.
[gzipped postscript (paper)] [pdf (paper)] (© Springer Verlag) - Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks.
(with Anthony K. Seda)
In: Andreas Günter, Rudolf Kruse and Bernd Neumann, KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003. Springer Lecture Notes in Artificial Intelligence Vol. 2821, 2003, pp. 105-119.
[gzipped postscript (paper)] [pdf (paper)] (© Springer Verlag) - Formal Concept Analysis and Resolution in Algebraic Domains.
(with Matthias Wendt)
In: Aldo de Moor and Bernhard Ganter (eds.): Using Conceptual Structures - Contributions to ICCS 2003. Shaker Verlag, Aachen, ISBN 3-8322-1705-3, pp. 157--170.
[gzipped postscript (paper)] [pdf (paper)] - The Well-Founded Semantics is a Stratified Fitting Semantics.
(with Matthias Wendt)
In: M. Jarke, J. Koehler and G. Lakemeyer, Proceedings of the 25th German Conference on Artificial Intelligence (KI2002), Aachen, September 2002. Lecture Notes in Artificial Intelligence 2479, Springer, 2002, 205-221
[gzipped postscript (technical report)] [pdf (technical report)] - On the Coincidence of Semantics for Uniquely Determined Programs.
(with Anthony K. Seda)
In: Ted Hurley, Micheal Mac an Airchinnigh, Michel Schellekens and Anthony K. Seda (eds.), Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Cork, Ireland, July 2000. Electronic Notes in Theoretical Computer Science, Volume 40, 2002, Elsevier.
[gzipped postscript (paper)] [pdf (paper)]
- Semantic Operators and Fixed-Point Theory in Logic Programming.
(with Anthony K. Seda)
In: N. Callaos et al. (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. International Institute of Informatics and Systemics: IIIS, Vol. VII, Computer Science and Engineering Part 1, 2001, pp. 224-229.
[gzipped postscript (paper)] [pdf (paper)] - Classes of Logic Programs which Possess Unique Supported Models.
(with Anthony K. Seda)
In: L. Li, F. Ren and K. Yen (eds.), Proceedings of the First International Conference on Information (INFORMATION'2000), Fukuoka, Japan, October, 2000. Special edition of the Journal of Information, International Information Institute, 2000, pp. 100-101 (extended abstract).
[gzipped postscript (published extended abstract)] [pdf (published extended abstract)] - A New Fixed-point Theorem for Logic Programming Semantics.
(with Anthony K. Seda)
In: N. Callaos et al. (eds.) Proceedings of the joint IIIS & IEEE meeting of the 4th World Multiconference on Systemics, Cybernetics and Informatics (SCI2000) and the 6th International Conference on Information Systems Analysis and Synthesis (ISAS2000), Orlando, Florida, USA, July, 2000. International Institute of Informatics and Systemics: IIIS, Vol. VII, Computer Science and Engineering Part 1, 2000, pp. 418-423.
[gzipped postscript (paper)] [pdf (paper)] - A Characterization of Acceptability.
(with Anthony K. Seda)
In: D. De Schreye (Ed.), Proceedings of the 1999 International Conference on Logic Programming, ICLP'99, Las Cruces, New Mexico. MIT Press, Cambridge, 1999, p. 609. - Characterizations of Classes of Programs by Three-valued Operators.
(with Anthony K. Seda)
In: M. Gelfond, N. Leone and G. Pfeifer (eds.), Logic Programming and Nonmonotonic Reasoning, Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR'99), El Paso, Texas, USA, December 1999. Lecture Notes in Artificial Intelligence 1730, Springer, Berlin, 1999, pp. 357-371.
[gzipped postscript (paper)] [pdf (paper)]
W3C Documents
-
OWL 2 Web Ontology Language: Primer.
Pascal Hitzler, Markus Krötzsch, Bijan Parsia, Peter F. Patel-Schneider, Sebastian Rudolph
W3C Recommendation, 27 October 2009.
[html] - Web Rule Language (WRL)
(with Harold Boley, Jos de Bruijn, Dieter Fensel, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel Polleres, Rudi Studer)
W3C Member Submission, 09 September 2005.
[http://www.w3.org/Submission/WRL/] - Relationship of WRL to relevant other technologies
(with Jos de Bruijn, Dieter Fensel, Michael Kifer, Axel Polleres)
W3C Member Submission, 09 September 2005.
[http://www.w3.org/Submission/WRL-related/]
Workshop Publications
- Local Closed World Semantics: Keep it simple, stupid!
Adila Krisnadhi, Kunal Sengupta, Pascal Hitzler
In: Riccardo Rosati, Sebastian Rudolph, Michael Zakharzaschev, Proceedings of the 2011 International Workshop on Description Logics (DL2011), Barcelona, Spain, July 2011. CEUR Workshop Proceedings, Vol. 745, pp. 532-542.
[pdf (technical report)] - Nominal Schemas for Integrating Rules and Description Logics.
Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
In: Riccardo Rosati, Sebastian Rudolph, Michael Zakharzaschev, Proceedings of the 2011 International Workshop on Description Logics (DL2011), Barcelona, Spain, July 2011. CEUR Workshop Proceedings, Vol. 745, pp. 268-278. - Representation of Parsimonious Covering Theory in OWL-DL.
Cory Henson, Krishnaprasad Thirunarayan, Amit Sheth, Pascal Hitzler
In: M. Dumontier and M. Courtot (eds.), Proceedings of the 8th International Workshop on OWL: Experiences and Directions (OWLED 2011) San Francisco, California, USA, June 5-6, 2011.
CEUR Workshop Proceedings Vol. 796. ISSN 1613-0073. - 10302 Summary - Learning paradigms in dynamic environments.
Barbara Hammer, Pascal Hitzler, Wolfgang Maass, Marc Toussaint
In: B. Hammer, P. Hitzler, W. Maass, M. Toussaint, 10302 Abstracts Collection - Learning paradigms in dynamic environments, Dagstuhl Seminar Proceedings 10302, Dagstuhl, Germany, 2010. ISSN 1862-4405.
[Paper] -
Flexible Bootstrapping-Based Ontology Alignment
Prateek Jain, Pascal Hitzler, Amit P. Sheth
In: P. Shvaiko, J. Euzenat, F. Giunchiglia, H. Stuckenschmidt, M. Mao, I. Cruz (eds.), OM-2010, Ontology Matching. Proceedings of the 5th International Workshop on Ontology Matching (OM-2010), collocated with the 9th International Semantic Web Conference (ISWC2010), Shanghai, China, November 2010. CEUR Workshop Proceedings, Vol. 689, 2010.
[pdf (paper)] - A MapReduce Algorithm for EL+.
Raghava Mutharaju, Frederick Maier, Pascal Hitzler
In: Volker Haarslev, Davind Toman, Grant Weddell (eds.), Proceedings of the 23rd International Workshop on Description Logics (DL2010), Waterloo, Canada, 2010. CEUR Workshop Proceedings Vol. 573, pp. 464-474.
[pdf (paper)] - Distance-based Measures of Inconsistency and Incoherency for Description Logics.
Yue Ma, Pascal Hitzler
In: Volker Haarslev, Davind Toman, Grant Weddell (eds.), Proceedings of the 23rd International Workshop on Description Logics (DL2010), Waterloo, Canada, 2010. CEUR Workshop Proceedings Vol. 573, pp. 475-485.
[pdf (paper)] -
Suggestions for OWL 3.
Pascal Hitzler
In: Rinke Hoekstra, Peter Patel-Schneider (eds.), Proceedings of the 5th International Workshop on OWL: Experiences and Directions (OWLED 2009), Chantilly, VA, United States, October 23-24, 2009.
CEUR Workshop Proceedings Vol. 529. ISSN 1613-0073.
[pdf (paper)] -
Approximate OWL Instance Retrieval with Screech.
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Tuvshintur Tserendorj
In: A.G. Cohn, D.C. Hogg, R. Möller, B. Neumann (eds.), Dagstuhl Seminar Proceedings 08091, Logic and Probability for Scene Interpretation, February 2008.
[pdf (extended abstract)] -
Paraconsistent Reasoning for Expressive and Tractable Description Logics.
Yue Ma, Pascal Hitzler, Zuoquan Lin
In: Franz Baader, Carsten Lutz, Boris Motik, Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008. CEUR Workshop Proceedings Vol. 353, 2008. ISSN 1613-0073.
[pdf (paper)] -
All Elephants are Bigger than All Mice.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
In: Franz Baader, Carsten Lutz, Boris Motik, Proceedings of the 21st International Workshop on Description Logics, DL2008, Dresden, Germany, May 2008. CEUR Workshop Proceedings Vol. 353, 2008. ISSN 1613-0073.
[pdf (paper)] -
Defeasible Inference with Circumscriptive OWL Ontologies.
Stephan Grimm, Pascal Hitzler
In: Frank van Harmelen, Andreas herzig, Pascal Hitzler, Zuoquan Lin, Ruzica Piskac, Guilin Qi (eds.), 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, 2008. ISSN 1613-0073.
[pdf (paper)] -
A Forgetting-based Approach for Handling Inconsistency in Distributed Ontologies.
Guilin Qi, Yimin Wang, Peter Haase, Pascal Hitzler
In: Ulrike Satller, Andrei Tamilin (eds.), Proceedings of the International Workshop WORM-08, Ontologies: Reasoning and Modularity, at the 5th European Semantic Web Conference, ESWC08, Tenerife, Spain, June 2008. CEUR Workshop Proceedings Vol. 348, 2008.
[pdf (paper)] -
A Comparison of Disjunctive Well-founded Semantics.
Matthias Knorr, Pascal Hitzler
In: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007.
CEUR Workshop Proceedings, Vol. 277, 2007. ISSN 1613-0073.
[pdf (paper)] [pdf (technical report)] - Description Logic Programs: Normal Forms.
Pascal Hitzler, Andreas Eberhart
In: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph, FAInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007.
CEUR Workshop Proceedings, Vol. 277, 2007. ISSN 1613-0073.
[pdf (technical report)] -
Paraconsistent Resolution for Four-valued Description Logics.
Yue Ma, Pascal Hitzler, Zuoquan Lin
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, 2007.
[pdf (paper)] -
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics.
Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin
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, 2007.
[pdf (paper)] -
A Well-founded Semantics for Hybrid MKNF Knowledge Bases.
Matthias Knorr, Jose Julio Alferes, Pascal Hitzler.
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, 2007.
[pdf (paper)] -
On the Complexity of Horn Description Logics.
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
In: Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, Evan Wallace (eds.), Proceedings of the Second Workshop OWL - Experiences and Directions, OWLED2006, Athens, Georgia, November 2006.
CEUR Workshop Proceedings Vol. 216. ISSN 1613-0073.
[pdf (paper)] - DLP isn't so bad after all.
(with Peter Haase, Markus Krötzsch, York Sure, Rudi Studer)
In: Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, November 2005.
CEUR Workshop Proceedings Vol. 188. ISSN 1613-0073.
[pdf (technical report)] [pdf (CEUR-version)] - Modeling Fuzzy Rules with Description Logics.
(with Sudhir Agarwal)
In: Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, November 2005.
CEUR Workshop Proceedings Vol. 188. ISSN 1613-0073.
[pdf (technical report)] [pdf (CEUR-version)] - Integrating First Order Logic Programs and Connectionist Systems - A Constructive Approach.
(with Sebastian Bader and Andreas Witzel)
In: Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05.
[pdf (paper)] - Extracting reduced logic programs from artificial neural networks.
(with Jens Lehmann and Sebastian Bader)
In: Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05.
[pdf (paper)] - Ontology leaning as a use case for neural-symbolic integration.
(with Sebastian Bader and Artur S. d'Avila Garcez)
In: Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05.
[pdf (paper)] - Faster OWL Using Split Programs.
(with Denny Vrandecic)
In: Proceedings of the 12th Workshop on Automated Reasoning, ARW 2005, Edinburgh, UK, July 2005.
Also in: F. Bry, F. Fages, M. Marchiori, H. Ohlbach (eds.), Dagstuhl Seminar Proceedings 05371, Principles and Practices of Semantic Web Reasoning, September 2005.
[pdf (paper)] - What Is Ontology Merging? - A Category-Theoretical Perspective Using Pushouts.T
(with Markus Krötzsch, Marc Ehrig and York Sure)
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. Technical Report WS-05-01, AAAI Press, Menlo Park, California, pp. 104-107.
[pdf (paper)][pdf (extended technical report)] - Description Logic Programs: A Practical Choice For the Modelling of Ontologies.
(with Rudi Studer and York Sure)
In: 1st Workshop on Formal Ontologies meet Meet Industry, FOMI'05, Verona, Italy, June 2005.
Also in: F. Bry, F. Fages, M. Marchiori, H. Ohlbach (eds.), Dagstuhl Seminar Proceedings 05371, Principles and Practices of Semantic Web Reasoning, September 2005.
[pdf (paper)] - Semantic Management of Web Services using the Core Ontology of Services.
(with Daniel Oberle, Steffen Lamparter, Andreas Eberhart, Stephan Grimm, Sudhir Agarwal, Rudi Studer)
In: Proceedings of the W3C Workshop on Frameworks for Semantics in Web Services, Innsbruck, Austria, June 2005.
[html (paper)] - Bridging the Paradigm Gap with Rules for OWL.
(with Jürgen Angele, Boris Motik, and Rudi Studer)
In: Proceedings of the W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USA, April 2005.
[pdf (paper)] - Level mapping characterizations of selector-generated models for logic programs.R
(with Sibylle Schwarz)
In: Armin Wolf, Thom W. Frühwirth, Marc Meister (eds.): 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 2005. Ulmer Informatik-Berichte 2005-01 Universitüt Ulm, Germany, 2005, pp. 65-75.
[pdf (paper)] - ILP Operators for Propositional Connectionist Networks.
(with Miguel A. Gutiérrez Naranjo)
In: B. Fronhöfer and Steffen Hölldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 103-108.
[gzipped postscript (paper) [pdf (paper)] - Characterizing logic programming semantics with level mappings.
(with Matthias Wendt)
In: B. Fronhöfer and Steffen Hö:lldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 60-67.
[gzipped postscript (paper)] [pdf (paper)] - Towards Nonmonotonic Reasoning on Hierarchical Knowledge.
In: B. Fronhöfer and Steffen Hölldobler, 17. WLP: Workshop Logische Programmierung, December 2002, Dresden, Germany. Technische Berichte der Fakultät Informatik TUD-FI03-03, ISSN 1430-211X, pp. 68-80.
[gzipped postscript (technical report)] [pdf (technical report)] - VDM
meets LCF: Domain-Theoretic and Topological Aspects of VDM
.
(with Anthony K. Seda)
In: A. Butterfield and G. Strong and C. Pahl, Proceedings of the Fifth Irish Workshop on Formal Methods (IWFM'01), Dublin, July 2001. Electronic Workshops in Compting (eWiC), British Computer Society.
- A Note on the Relationships between Logic Programs and Neural Networks.
(with Anthony K. Seda)
In: P. Gibson and D. Sinclair (eds.), Proceedings of the Fourth Irish Workshop on Formal Methods (IWFM'00), Maynooth, July 2000. Electronic Workshops in Computing (eWiC), British Computer Society
[gzipped postscript (paper)] [pdf (paper)] - Acceptable Programs Revisited.
(with Anthony K. Seda)
In: Sandro Etalle and Jan-Georg Smaus (eds.), Proceedings of the Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99), Las Cruces, New Mexico, November 1999, Electronic Notes in Theoretical Computer Science, Volume 30, No 1, Elsevier.
[postcript (paper)] - Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.
(with Anthony K. Seda)
In: A. Butterfield and S. Flynn (eds.), Proceedings of the Third Irish Workshop on Formal Methods (IWFM'99), Electronic Workshops in Computing, British Computer Society, 1999, pp. 1-18.
[gzipped postscript (paper)] [pdf (paper)] - Strictly Level-Decreasing Logic Programs.
(with Anthony K. Seda)
In: A. Butterfield and S. Flynn (eds.), Proceedings of the Second Irish Workshop on Formal Methods (IWFM'98), Cork, 1998, Electronic Workshops in Computing, British Computer Society, 1999, pp. 1-18.
[gzipped postscript (paper)] [pdf (paper)]
Journal Special Issues
- Vision Statements by Editorial Board Members.
Pascal Hitzler, Krzysztof Janowicz (eds.)
Special issue, Semantic Web journal volume 1(1-2), 2010.
[publisher version] - Commonsense Reasoning for the Semantic Web.
Frank van Harmelen, Andreas Herzig, Pascal Hitzler, Guilin Qi (eds.)
Special issue, Annals of Mathematics and Artificial Intelligence Volume 58 (1-2), 2010. - Challenges for recurrent neural networks.
Marco Gori, Barbara Hammer, Pascal Hitzler, Guenter Palm (eds.)
Special issue, Logic Journal of the IGPL Volume 18 (5), 2010.
Edited Workshop Proceedings
-
Proceedings of the Seventh International Workshop on
Neural-Symbolic Learning and Reasoning, NeSy'11, at the 22nd International Joint Conference on Artificial Intelligence, IJCAI-11, Barcelona, Catalonia (Spain), 2011.
Artur d'Avila Garcez, Pascal Hitzler, Luis Lamb (eds.)
CEUR Workshop Proceedings, Vol. 764, 2011. ISSN 1613-0073. - 10302 Abstracts Collection - Learning paradigms in dynamic environments.
Barbara Hammer, Pascal Hitzler, Wolfgang Maass, Marc Toussaint (eds.)
Dagstuhl Seminar Proceedings 10302, Dagstuhl, Germany, 2010. ISSN 1862-4405.
[Proceedings] - Proceedings of the Fourth International Workshop on Applications
of Semantic Technologies, AST2009, at Informatik2009, Lübeck, Germany, October 2009.
Stephan Grimm, Pascal Hitzler (eds.)
In: INFORMATIK 2009 - Im Fokus das Leben. ISBN 978-3-88579-248-2. Bonner Köllen Verlag, pp. 381-400.
-
Proceedings of the Fifth International Workshop on
Neural-Symbolic Learning and Reasoning, NeSy'09, at the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, July 2009.
Artur d'Avila Garcez and Pascal Hitzler (eds.)
CEUR Workshop Proceedings, Vol. 481, 2009. ISSN 1613-0073. -
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.
Christophe Gueret, Pascal Hitzler, Stefan Schlobach (eds.)
CEUR Workshop Proceedings, Vol. 419, 2008. ISSN 1613-0073. - Proceedings of the Third International Workshop on Applications
of Semantic Technologies, AST2008, at Informatik2008, Munich, Germany, September 2008.
Stephan Grimm, Pascal Hitzler (eds.)
In: INFORMATIK 2008: Beherrschbare Systeme dank Informatik. Beiträge der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), September 2008 in München. GI Proceedings 134, Vol. 2, ISSN 1617-5468, ISBN 978-3-88579-228-4.
Lecture Notes in Informatics, Gesellschaft für Informatik, Bonn, 2008, pp. 667-726. -
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.
Artur d'Avila Garcez and Pascal Hitzler (eds.)
CEUR Workshop Proceedings, Vol. 366, 2008. ISSN 1613-0073. -
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.L
Frank van Harmelen, Andreas herzig, Pascal Hitzler, Zuoquan Lin, Ruzica Piskac, Guilin Qi (eds.)
CEUR Workshop Proceedings, Vol. 350, 2008. ISSN 1613-0073. - Recurrent Neural Networks - Models, Capacities, and Applications.
Luc de Raedt, Barbara Hammer, Pascal Hitzler, Wolfgang Maass (eds.)
Dagstuhl Seminar Proceedings 08041, Dagstuhl, Germany. April 2008, ISSN 1862-4405.
[Proceedings] - Proceedings of the Second International Workshop on Applications
of Semantic Technologies, AST2007, at Informatik2007, Bremen, Germany, September 2007.
Pascal Hitzler, York Sure (eds.)
In: Rainer Koschke, Otthein Herzog, Karl-Heinz Rödiger, Marc Ronthaler (eds.), INFORMATIK 2007: Informatik trifft Logistik. Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 24.-27. September 2007 in Bremen. GI Proceedings 109, Vol. 1, ISSN 1617-5468, ISBN 978-3-88579-203-1.
Lecture Notes in Informatics, Gesellschaft für Informatik, Bonn, 2007, pp. 195-246.
- Proceedings of the Workshop on Foundations of Artificial Intelligence, FAInt-07, at KI-2007, Osnabrück, Germany, September 2007.
Pascal Hitzler, Thomas Roth-Berghofer, Sebastian Rudolph (eds.)
CEUR Workshop Proceedings, Vol. 277, 2007. ISSN 1613-0073. - Proceedings of the IJCAI-07 Third International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'07, Hyderabad, India, January 2007.
Artur S. d'Avila Garcez, Pascal Hitzler, Guglielmo Tamburrini (eds.)
CEUR Workshop Proceedings, Vol. 230, 2007. ISSN 1613-0073.
- Proceedings of the Second Workshop OWL - Experiences and Directions, OWLED2006.
Bernardo Cuenca Grau, Pascal Hitzler, Connor Shankey, Evan Wallace (eds.)
Athens, GA, November 2006.
CEUR Workshop Proceedings Vol. 216, 2006. ISSN 1613-0073.
- Proceedings of the International Workshop on Applications
of Semantic Technologies, AST2006, at Informatik2006, Dresden, Germany,
October 2006.
Pascal Hitzler, York Sure (eds.)
In: Christian Hochberger and Rüdiger Liskowsky (eds), Informatik 2006 - Informatik für Menschen Vol. 2. Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2.-6. Oktober 2006 in Dresden.
Lecture Notes in Informatics Vol. P-94, Gesellschaft für Informatik, Bonn, 2006, pp. 289-362. - Proceedings of the ECAI-06 Second International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'06, Riva del Garda, Italy, August 2006.
Artur S. d'Avila Garcez, Pascal Hitzler and Guglielmo Tamburrini (eds.) - Proceedings of the WWW2006 Workshop on Reasoning on the Web, RoW06, Edinburgh, UK, May 2006.
P. Hitzler, H. Wache and T. Eiter (eds.) - Proceedings of the KI2005 Workshop on Foundational Aspects of Ontologies, FOnt'05, Koblenz, Germany, September 2005.
P. Hitzler, C. Lutz and G. Stumme (eds.)
Fachbericht Informatik 9/2005, Universität Koblenz-Landau, 2005. ISSN 1860-4471.
[access pdf (proceedings)] - Proceedings of the IJCAI-05 International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005.
Artur S. d'Avila Garcez, P. Hitzler and Jeff Ellman (eds.)
Posters and Demos
- An Evolutionary Computing Approach for Reasoning in the Semantic Web.
Gaston Tagni, Christophe Gueret, Stefan Schlobach, Sebastian Rudolph, Pascal Hitzler
Poster at DECOI2009, the International Workshop on Collective Intelligence andEvolution, Leiden, The Netherlands, February 2009. - SmartWeb: Mobile Access to the Semantic Web.
A. Ankolekar, P. Buitelaar, P. Cimiano, P. Hitzler, M. Kiesel, M. Krötzsch, H. Lewen, G. Neumann, M. Sintek, T. Tserendorj, R. Studer
System Demo at the 5th International Semantic Web Conference, ISWC2006, Athens, Georgia, November 2006.
[pdf (paper)] - SmartWeb: Mobile Access to the Semantic Web.
(with A. Ankolekar, P. Cimiano, M. Krötzsch, G. Ladwig, H. Lewen, D. Oberle, R. Studer, M. Kiesel, M. Sintek)
System Demo at the 3rd European Semantic Web Conference, ESWC2006, Budva, Montenegro, June 2006.
[pdf (paper)] - Integrating Semantic Web Services for Mobile Access.
(with Anupriya Ankolekar, Holger Lewen, Daniel Oberle and Rudi Studer)
Poster at the 3rd European Semantic Web Conference, ESWC2006, Budva, Montenegro, June 2006.
[pdf (paper)] - SmartWeb: Mobile Access to the Semantic Web.
Anupriya Ankolekar, Philipp Cimiano, Pascal Hitzler, Malte Kiesel, Markus Krötzsch, Günter Ladwig, Holger Lewen, Daniel Oberle, Hans-Peter Schnurr, Michael Sintek, Rudi Studer
Demo at the Developers Track at the 15th International World Wide Web Conference, Edinburgh, Scotland, May 2006.
[link] - The SCREECH OWL reasoner - Scalable approximate ABox reasoning for OWL.
(with Denny Vrandecic)
Software Demo at ISWC2005, Galway, Ireland, November 2005.
[pdf (abstract)] - dlpconvert - Converting OWL DLP statements to logic programs.
(with Boris Motik, Denny Vrandecic, York Sure, and Rudi Studer)
System Demo at the 2nd European Semantic Web Conference, ESWC2005, Iraklion, Greece, May 2005.
[pdf (paper)]
Bulletin Contributions and Miscellaneous
- Web Reasoning and Rule Systems: Five Years into the Conference
Francesco Calimeri, Pascal Hitzler
In: ALP Newsletter, Association of Logic Programming, December 2011.
[published version] - Essen, Einkaufen und Autofahren.
Pascal Hitzler
Heidenheimer Zeitung, Weihnachtsbeilage 2011 - A Proof that P≠NP.
Pascal Hitzler
6th Review of April Fool's Day Transactions, April 2011.
[pdf (paper)] - Wissensmanagement profitiert von Semantiktechnologien.
Pascal Hitzler, Rudi Studer
Computer Zeitung 37 (40), Oktober 2nd, 2006, page 21.
[pdf (paper)] [online article] - Generalized Metrics and Topology in Logic Programming Semantics.
Bulletin of the European Association of Theoretical Computer Science 75 (October 2001), 283-285. - Ca. 20 articles in the local newspaper Reutlinger Nachrichten, 1993/1994.
Theses
- Nichtmonotone, neuro-symbolische und begriffliche Wissensverarbeitung.
Habilitationsschrift/Post-doctoral thesis (cumulative)
Department of Computer Science, TU Dresden, 2004.
[pdf (thesis, 5.5MB)] - Generalized Metrics and Topology in Logic Programming Semantics.
PhD thesis, Department of Mathematics, National University of Ireland, University College Cork, 2001.
[ps.gz (thesis)] [pdf (thesis)]
[ps.gz (erratum)] [pdf (erratum)] - Topology and Logic Programming Semantics.
Diplomarbeit in Mathematik, Universität Tübingen, 1998, 62 pages.
[ps.gz (thesis)] [pdf (thesis)]
Project Reports and Deliverables
-
Initial Framework for Measuring and Evaluating Heuristic Problem Solving
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
LarKC Deliverable D1.4.1.
[pdf (paper)] - Defining the Features of the WSML-DL v2.0 Language.
Barry Bishop, Florian Fischer, Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph, Yiorgos Trimponias, Gulay Unel
SOA4All Deliverable D3.1.3, February 2009.
[pdf] - Inconsistency-tolerant Reasoning with Networked Ontologies.
Guilin Qi, Peter Haase, Simon Schenk, Steffen Stadtmüller, Pascal Hitzler
NeOn Deliverable D1.2.4, February 2009. - Report on Research Exchange and Collaboration.
Pascal Hitzler, York Sure, Jörg Diederich
KnowledgeWeb Deliverable D2.6.8, October 2007. - Scalable Expressive Reasoning with KAON2.
Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
KOReA Deliverable, February 2007. - Incorporating Uncertainty into RDF and OWL
P. Cimiano, T. Duc, P. Hitzler, M. Krötzsch, A. Lavelli, B. SchÄuler, G. Stoilos, K. Tso, V. Tsouvaras
X-Media Deliverable D2.1, December 2006.
- Report on realizing practical approximate and distributed
reasoning for ontologies V2.
Pascal Hitzler, Peter Dolog, Perry Groot, Michel Klein, Malgorzata Mochol, Lyndon Nixon, Linda Peelen, Sebastian Rudolph, Stefan Schlobach, Heiner Stuckenschmidt, Denny Vrandecic, Holger Wache
KnowledgeWeb deliverable D2.1.2.2.v2., December 2006.
[pdf (deliverable)] - Scalable Reasoning for Information Access.
Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
KOReA Deliverable, November 2006. - Context Languages - State of the Art.
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
NeOn deliverable D3.1.1, August 2006.
[pdf (deliverable)] - Report on realizing practical approximate and distributed
reasoning for ontologies V1.
(with Stefania Ghita-Costache, Peter Dolog, Luciano Serafini, Wolf Siberski, Heiner Stuckenschmidt, Andrei Tamilin, Denny Vrandecic, HolgerWache)
KnowledgeWeb deliverable D2.1.2.2.v1., January 2006.
[pdf (paper)] - Integrated view and comparison of alignment semantics.
(with J. Euzenat, M. Krötzsch, L. Serafini, H. Stuckenschmidt, H. Wache and A. Zimmermann)
KnowledgeWeb deliverable D2.2.5., January 2006.
[pdf (paper)] - Zur Wahl der Inferenzmaschine in SmartWeb.
(with Michael Sintek and Moritz Weiten)
SmartWeb internal report, June 2005. - Methods for Approximate Reasoning.
(with Perry Groot, Ian Horrocks, Boris Motik, Jeff Z. Pan, Heiner Stuckenschmidt, Daniele Turi, Holger Wache)
KnowledgeWeb deliverable D2.1.2, December 2004.
[pdf (paper)] - Specification of a common framework for characterizing alignment.
(with Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Markus Krötzsch, Luciano Serafini, Giorgos Stamou, York Sure, Sergio Tessaris)
KnowledgeWeb deliverable D2.2.1v2, December 2004.
[pdf (paper)] - The SmartWeb Foundational Ontology.
(with Philipp Cimiano, Andreas Eberhart, Daniel Oberle, Steffen Staab, and Rudi Studer)
SmartWeb internal report, September 2004.
Unpublished Technical Reports
Papers which appeared completely in journals or conferences etc. are not mentioned.
- Reconciling OWL and Rules.
David Carral Martinez, Adila Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler
Technical Report, Kno.e.sis Center, Wright State University, Dayton, Ohio, U.S.A., June 2011.
[pdf (technical report)] - Syntax Proposal for Nominal Schemas.
David Carral Martinez, Adila A. Krisnadhi, Pascal Hitzler
Technical Report, Kno.e.sis Center, Wright State University, July 2011.
[pdf (technical report)] - Nominal Schemas for Integrating Rules and Ontologies.
Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler
Technical Report, Kno.e.sis Center, Wright State University, 2010.
[pdf (technical report)] - Distributed Reasoning with EL++ Using MapReduce.
Frederick Maier, Raghava Mutharaju, Pascal Hitzler
Technical Report, Kno.e.sis Center, Wright State University, Dayton, Ohio, 2010.
[pdf (technical report)] - LOQUS: Linked Open Data SPARQL Querying System.
Prateek Jain, Kunal Verma, Peter Z. Yeh, Pascal Hitzler, Amit P. Sheth
Technical Report, Kno.e.sis Center, Wright State University, Dayton, Ohio, 2010.
[pdf (technical report)] - Approximate Instance Retrieval on Ontologies.
Tuvshintur Tserendorj, Stephan Grimm, Pascal Hitzler
Technical Report, Kno.e.sis Center, Wright State University, Dayton, Ohio, 2010.
[pdf (technical report)] - PrOM: A Semantic Web Framework for Provenance Management in Science.
Satya S. Sahoo, Roger Barga, Amit Sheth, Krishnaprasad Thirunarayan, Pascal Hitzler
Technical Report, Kno.e.sis Center, Wright State University, Dayton, Ohio, 2009.
[pdf (technical report)] -
ELP: Tractable Rules for OWL 2.
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Technical report, Institut AIFB, Universität Karlsruhe (TH), 2008.
[pdf (technical report)] -
Reasoning in Circumscriptive ALCO
Stephan Grimm, Pascal Hitzler
Technical report, Institut AIFB, Universität Karlsruhe (TH), 2008.
[pdf (technical report)] -
Expressive Tractable Description Logics based on SROIQ Rules.
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Technical Report, Universität Karlsruhe (TH). February 2008.
[pdf (extended technical report)] - Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams.
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Technical Report, Universität Karlsruhe (TH). February 2008.
[pdf (extended technical report)] - Complexity of Horn Description Logics.L
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Technical Report, AIFB, University of Karlsruhe, 2007
[pdf (technical report)] - Towards a unified theory of logic programming semantics: Level mapping characterizations of selector generated models.
(with S. Schwarz)
Technical Report, AIFB, Universität Karlsruhe, November 2005.
[pdf (technical report)] - Category Theory in Ontology Research: Concrete Gain from an Abstract Approach.
(with Markus Krötzsch, Marc Ehrig, and York Sure)
Technical Report, AIFB, Universität Karlsruhe, March 2005.
[pdf (technical report)] - DLP - An introduction
(with Denny Vrandecic, Peter Haase, York Sure, Rudi Studer)
Technical Note, AIFB, University of Karlsruhe, February 2005.
[pdf (technical report)] - Level mapping characterizations of selector-generated models for logic programs.
(with Sibylle Schwarz)
Technical Report WV-04-04, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2004.
[gzipped postscript (technical report)] [pdf (technical report)] - Formal Concept Analysis and Resolution on Algebraic Domains - Preliminary Report.
(with Matthias Wendt)
Technical Report WV-03-01, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2003.
[gzipped postscript (technical report)] [pdf (technical report)] - Circular Belief in Logic Programming Semantics.
Technical Report WV-02-13, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
[gzipped postscript (technical report)] [pdf (technical report)] - Contexts, Concepts, and Logic of Domains.
Technical Report WV-02-12, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
[gzipped postscript (paper)] [pdf (paper)] - Resolution and Logic Programming in Algebraic Domains: Negation and Defaults.
Technical Report WV-02-05, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 2002.
[gzipped postscript (paper)] [pdf (paper)] - Dislocated Topologies.
(with Anthony K. Seda)
Technical Report, Department of Mathematics, University College Cork, 2000.
[gzipped postscript (paper)] [pdf (paper)] - A Topological View of Acceptability.
(with Anthony K. Seda)
Technical Report, Department of Mathematics, University College Cork, 2000.
- A Topological Characterization of Acceptability.
(with Anthony K. Seda)
Technical Report, Department of Mathematics, University College Cork, 1999.
- Simplifying Termination Proofs for Pure Prolog Programs.
(with Anthony K. Seda)
Technical Report, Department of Mathematics, University College Cork, 1999.
- Sur les programmes logiques localement stratifiés.
(with Anthony K. Seda)
Technical Report, Department of Mathematics, University College Cork, 1997.
[gzipped postscript (paper)] [pdf (paper)]
Edited Books (enhancement programmes)
- MINT (Mathematik, Informatik, Naturwissenschaften, Technik) Vol. 18.
Pascal Hitzler and Gudrun Kalmbach (eds.)
Aegis-Verlag, Ulm, 2008, ISBN 978-3-87005-073-3. - Begabtenförderung im MINT-Bereich 12.
(with Gudrun Kalmbach) (eds.)
Aegis-Verlag, Ulm, 2005, ISBN 3-87005-067-5.
- Begabtenförderung im MINT-Bereich 9: Dedicated to Sylvia Pulmannova on the occasion of her 65. birthday.
(with Gudrun Kalmbach and Zdenka Riecanova) (eds.)
Aegis-Verlag, Ulm, 2004, ISBN 3-87005-064-0.
- Begabtenförderung im MINT-Bereich 5: Aus der Mathematik und ihrer Didaktik.
(with Gudrun Kalmbach) (eds.)
Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 236 pages. - Begabtenförderung im MINT-Bereich 4: Schwerpunkt: Geschlechterstudien - allgemein und für Mathematik.
(with Otto Lange) (eds.)
Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 159 pages.
- Begabtenförderung im MINT-Bereich 3: Dedicated to Zdenka Riecanova on her 65th birthday.
(with Gudrun Kalmbach) (eds.)
Aegis-Verlag, Ulm, 2000, ISBN 3-87005-053-5, 233 pages.
Book Contributions (enhancement programmes)
- Spieltheorie.
Alexander Chocholaty, Pascal Hitzler
In: Pascal Hitzler and Gudrun Kalmbach (eds.), MINT (Mathematik, Informatik, Naturwissenschaften, Technik) Vol. 18. Aegis-Verlag, Ulm, 2008, ISBN 978-3-87005-073-3, pp. 117-125. - Kursarbeit mit Schülern - die Intensivkurse Mathematik.
Pascal Hitzler, Gudrun Kalmbach
In: Martin Grimm and Gudrun Kalmbach, Begabtenförderung im MINT-Bereich Vol. 15, Aegis-Verlag, Ulm, 2007, pp. 61-68. - Automatisiertes Schließen mit formalen Begriffen: Mathematische Grundlagen.
In: P. Hitzler and G. Kalmbach, Begabtenförderung im MINT-Bereich Band 12. Aegis-Verlag Ulm, 2005, ISBN 3-87005-067-5, pp. 49-56.
[pdf] - Automatisiertes Schließen mit formalen Begriffen: Implementierung.
(with Karl Fritsche)
In: P. Hitzler and G. Kalmbach, Begabtenförderung im MINT-Bereich Band 12. Aegis-Verlag Ulm, 2005, ISBN 3-87005-067-5, pp. 57-62.
[pdf] - Kontraktionssätze auf verallgemeinerten metrischen Räumen.
(Vorlesungsskripte Intensivkurs Mathematik 1999 und 2000)
In: A. Dvurecenskij und G. Kalmbach H.E. (Hrsg), Begabtenförderung im MINT-Bereich 6, Aegis-Verlag, Ulm, 2001, pp. 79-88.
[gzipped postscript] [pdf] - BCU Contest 2001 Problems and Solutions.
(with Finbarr Holland, Gudrun Kalmbach)
In: A. Dvurecenskij und G. Kalmbach H.E. (Hrsg), Begabtenförderung im MINT-Bereich 6, Aegis-Verlag, Ulm, 2001, pp. 3-16. - Tag der Mathematik Aufgaben 1996-2000.
(mit Finbarr Holland, Gudrun Kalmbach, Franz J. Klingen)
In: P. Hitzler und G. Kalmbach (Hrsg), Begabtenförderung im MINT-Bereich 5: Aus der Mathematik und ihrer Didaktik. Aegis-Verlag, Ulm, 2000, pp. 35-78. - Der Banachsche Fixpunktsatz und der Satz von Picard-Lindelöf.
(with Frithjof Lutscher)
In: P. Hitzler und G. Kalmbach (Hrsg.), Begabtenförderung im MINT-Bereich 3, Aegis-Verlag, Ulm, 2000, pp. 31-44.
(Vorlesung auf dem Begabtenförderungs-Workshop 1998, Universität Tübingen)
[gzipped postscript] [pdf] - Fixpunktsemantik.
In: M. Grimm und G. Kalmbach (Hrsg.), Begabtenförderung im MINT-Bereich 1, Aegis-Verlag, Ulm, 1997, pp. 57-61.
(Vortrag auf der Emmy-Noether-Tagung Ulm 1997)
[gzipped postscript] [pdf] - Der Kontraktionssatz auf metrischen Räumen.
In: M. Grimm und G. Kalmbach (Hrsg), Begabtenförderung im MINT-Bereich 1, Aegis-Verlag, Ulm, 1997, pp. 63-81.
(Vorlesung auf dem Intensivkurs Mathematik Konstanz-Ulm 1996)
[gzipped postscript] [pdf] - Spieltheorie.
(with Alexander Chocholaty)
In: G. Kalmbach, R. Schweizer, Mathematik - bunt gemischt II, Reinhardt Becker Verlag, Velten, 1996, pp. 91-100.
[gzipped postscript] [pdf]
Unpublished Manuscripts
- Operator-based semantics for logic programs
Lecture script (30 hrs), International Master Program in Computational Logic, Dresden University of Technology, Germany, WS 2004/2005.
[pdf (unpublished manuscript)] - Approximating first-order logic programs by feedforward networks
Lecture script (16 hrs), substitute lecturing for part of the lecture by Prof. Steffen Hölldobler on Computational Logic and Connectionist Systems, International Master Program in Computational Logic, Dresden University of Technology, Germany, June/July 2004.
[gzipped postscript (unpublished manuscript)] [pdf (unpublished manuscript)] - BCU Contest 2000 Problems and Solutions. ENC-CON
(with Finbarr Holland and Gudrun Kalmbach)
[gzipped postscript (problems)] [pdf (problems)]
[gzipped postscript (solutions)] [pdf (solutions)] - Der Kontraktionssatz auf metrischen Räumen und Verallgemeinerungen.
(Lecture at the Intensivkurs Mathematik Konstanz-Ulm 1999 and 2000.)
[gzipped postscript (script draft)] [pdf (script draft)] - BCU Contest 1999 Problems and Solutions.
(with Finbarr Holland and Gudrun Kalmbach)
[postscript (problems)] [pdf (problems)]
[postscript (solutions)] [pdf (solutions)] - Fixpunktsemantik logischer Programme.
Lecture script (4 hrs), substitute lecturing for part of the lecture by Dr. Tom Cornell on Einführung in Prolog, Department of Computational Linguistics, Tübingen University, July 1997.
Also reused for part of a lecture at the Intensivkurs Mathematik Konstanz-Ulm 1997.
[gzipped postscript (script draft)] [pdf (script draft)]
Unpublished Edited Manuscripts
- Intensivkurs Mathematik Konstanz-Ulm 2000.
(with Gudrun Kalmbach) (eds.)
Universität Ulm, 2000, 50 pages. - Intensivkurs Mathematik Konstanz-Ulm 1999.
(with Frank Houdek, Gudrun Kalmbach und Katharina Schmithüsen) (eds.)
Universität Ulm, 1999, 150 pages. - Intensivkurs Mathematik Konstanz-Ulm 1998.
(with Frank Houdek, Gudrun Kalmbach und Gabriela Schmithüsen) (eds.)
Universität Ulm, 1998, 158 pages. - Intensivkurs Mathematik Konstanz-Ulm 1997.
(with Frank Houdek, Gudrun Kalmbach und Gabriela Schmithüsen) (eds.)
Universität Ulm, 1997, 190 pages. - Intensivkurs Mathematik Konstanz-Ulm 1996.
(with Frank Houdek, Gudrun Kalmbach und Katharina Schmithüsen) (eds.)
Universität Ulm, 1996, 208 pages.













