Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Logik

Aus Aifbportal

Wechseln zu: Navigation, Suche

Logik




Veröffentlichungen zum Forschungsgebiet

Article
Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!
Journal of Artificial Intelligence Reasearch, 39, Seiten 429-481, Oktober, 2010
(Details)

Guilin Qi, Weiru Liu, David A. Bell
Combining multiple prioritized knowledge bases by negotiation
Fuzzy Sets and Systems, 158, (23), Seiten 2535-2551, Dezember, 2007
(Details)

Guilin Qi, Weiru Liu, David H. Glass, David A. Bell
Split-Combination approaches to merging possibilistic knowledge bases
Annals of Mathematics and Artificial Intelligence, 48, (1-2), Seiten 45-84, September, 2006
(Details)

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

Guilin Qi, Weiru Liu, David Bell
A revision-based approach to handling inconsistency in description logics
Journal of Artificial Intelligence Review, 26, (1-2), Seiten 45-84, Dezember, 2006
(Details)

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

Daniel Oberle, Steffen Staab, Raphael Volz
Three Dimensions of Knowledge Representation in WonderWeb
Künstliche Intelligenz, 05, (1), Seiten 31-35, 2005
(Details)

Noah Friedland, Paul Allen, Gavin Matthews, Michael Witbrock, David Baxter, Jon Curtis, Blake Shepard, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, Eddie Mönch, Henrik Oppermann, Dirk Wenke, Bruce Porter, Ken Barker, James Fan, Shaw Yi Chaw, Peter Yeh, Dan Tecuci, Peter Clark
Project Halo: Towards a Digital Aristotle
AI Magazine, 2004
(Details)

↑ top

inproceedings
Markus Krötzsch, Sebastian Rudolph
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Seiten: 963-968, IJCAI/AAAI, Juli, 2011
(Details)

Jean-Francois Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michael Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Seiten: 712-717, IJCAI/AAAI, Juli, 2011
(Details)

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Seiten: 1039-1044, IJCAI/AAAI, Juli, 2011
(Details)

Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), Seiten: 269-279, AAAI Press, Mai, 2010
(Details)

Markus Krötzsch, Anees ul Mehdi, Sebastian Rudolph
Orel: Database-Driven Reasoning for OWL 2 Profiles
Proceedings of the 23nd International Workshop on Description Logics (DL 2010), CEUR-WS.org, CEUR Workshop Proceedings, 573, Mai, 2010
(Details)

Birte Glimm, Sebastian Rudolph, Johanna Völker
Integrated Metamodeling and Diagnosis in OWL 2
In Peter F. Patel-Schneider, Yue Pan, Pascal Hitzler, Peter Mika, Lei Zhang, Jeff Z. Pan, Ian Horrocks, Birte Glimm, Proceedings of the 9th International Semantic Web Conference, Seiten: 257-272, Springer, LNCS, 6496, November, 2010
(Details)

Birte Glimm, Sebastian Rudolph
Status QIO: Conjunctive Query Entailment is Decidable
In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR-10), Seiten: 225-235, AAAI Press, Mai, 2010
(Details)

Birte Glimm, Sebastian Rudolph
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
In Bernardo Cuenca-Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, Proceedings of the DL Workshop 2009, Oxford, UK, CEUR Workshop Proceedings, 477, Juli, 2009
(Details)

Markus Krötzsch, Sebastian Rudolph
A Matter of Principles: Towards the Largest DLP Possible
Proceedings of the 22nd International Workshop on Description Logics (DL2009), CEUR-WS.org, CEUR Workshop Proceedings, 477, Juli, 2009
(Details)

Guilin Qi, Fangkai Yang
Web Reasoning and Rule Systems
In Diego Calvanese, Georg Lausen, Proceedings of Second International Conference on Web Reasoning and Rule Systems (RR'08), Seiten: 74-88, Springer, LNCS 5341, Karlsruhe, Germany, Oktober, 2008
(Details)

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

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

Philipp Cimiano, Peter Haase, Qiu Ji, Teofilos Mailis, Giorgos Stamou, Giorgos Stoilos, Duc Thanh Tran, Vassilis Tzouvaras
Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation
Proceedings of the ESWC Workshop on Advancing Reasoning on the Web: Scalability and Commonsense
(Details)

Guilin Qi, Jeff Pan
Tableau Algorithm for Possibilistic Description Logic ALC: First Results
In Diego Calvanese, Georg Lausen, Proceedings of the Second International Conference on Web Reasoning and Rule Systems (RR'08), Seiten: 238-239, Springer, LNCS 5341, November, 2008
(Details)

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

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

Guilin Qi, Jeff Pan
A Tableau Algorithm for Possibilistic Description Logic ALC
In John Domingue, Chutiporn Anutariya, Proceedings of the 3rd Asian Semantic Web Conference (ASWC'08), Seiten: 61-75, Springer, LNCN 5367, Dezember, 2008
(Details)

Guilin Qi, Fangkai Yang
A Survey of Revision Approaches in Description Logics
Proceedings of the 21st International Workshop on Description Logics (DL'08), CEUR, 353, Mai, 2008
(Details)

Yimin Wang, Guilin Qi, Min Chen
A Segmentation-Based Approach for Approximate Query over Distributed Ontologies
In John Domingue, Chutiporn Anutariya (Eds.), Proceedings of 3rd Asian Semantic Web Conference (ASWC'08), Seiten: 464-478, Springer, LNCN 5367, Bangkok, Thailand, November, 2008
(Details)

Guilin Qi
A Semantic Approach for Iterated Revision in Possibilistic Logic
Proceedings of Twenty-Third Conference on Artificial Intelligence (AAAI'08), AAAI Press, Chicago, Juli, 2008
(Details)

Meghyn Bienvenu, Andreas Herzig, Guilin Qi
Prime Implicate-based Belief Revision Operators
In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris, Proceedings of 18th European Conference on Artificial Intelligence (ECAI'08), Seiten: 741-742, IOS Press, Patras, Greece, Juli, 2008
(Details)

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

Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Pan
A Kernel Revision Operator in Description Logics
Proceedings of the 21st International Workshop on Description Logics (DL'08), CEUR, 353, Mai, 2008
(Details)

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

Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments
In John Domingue, Chutiporn Anutariya, Proceedings of the 3rd Asian Semantic Web Conference (ASWC'08), Seiten: 1-15, Springer, LNCN 5367, Dezember, 2008
(Details)

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

Jianfeng Du, Guilin Qi, Yi-dong Shen
Lexicographical Inference over Inconsistent DL-Based Ontologies
In Diego Calvanese, Georg Lausen, Proceedings of Second International Conference on Web Reasoning and Rule Systems (RR'08), Springer, LNCS 5341, Karlsruhe, Germany, November, 2008
(Details)

Guilin Qi, Peter Haase, Zhisheng Huang, Qiu Ji, Jeff Pan, Johanna Völker
A Kernel Revision Operator for Terminologies
In Amit P. Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy W. Finin, Krishnaprasad Thirunarayan, Proceedings of the 7th International Semantic Web Conference (ISWC), Seiten: 419-434, Springer, LNCS 5318, Oktober, 2008
(Details)

Guilin Qi, Jeff Pan, Qiu Ji
Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic
In Khaled Mellouli, 9th European Conference Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Seiten: 828-839, Springer, LNCS 4724, Hammamet, Tunisia, Oktober, 2007
(Details)

David Bell, Guilin Qi, Weiru Liu
Approaches to Inconsistency Handling in Description-Logic Based Ontologies
OTM Confederated International Workshops and Posters, Seiten: 1303-1311, Springer, LNCS 4806, Vilamoura, Portugal, November, 2007
(Details)

Peter Haase, Guilin Qi
An analysis of approaches to resolving inconsistencies in DL-based ontologies
Proceedings of International Workshop on Ontology Dynamics (IWOD'07)Juni, 2007
(Details)

Markus Krötzsch, Sebastian Rudolph
Conjunctive Queries for EL with Role Composition
In D. Calvanese, E. Franconi, V. Haarslev, D. Lembo, B. Motik, A.-Y. Turhan and S. Tessaris, Proceedings of the 20th International Workshop on Description Logics (DL2007), CEUR Workshop Proceedings, 250, Juni, 2007
(Details)

Guilin Qi
A Model-based Approach for Merging Prioritized Knowledge Bases in Possibilistic Logic
Twenty-Second Conference on Artificial Intelligence (AAAI'07), Seiten: 471-476, AAAI Press, Vancouver, British Columbia, Canada, Juli, 2007
(Details)

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

Jianfeng Du, Guilin Qi, Yi-dong Shen
Lexicographical Inference over Inconsistent DL-Based Ontologies
In Diego Calvanese, Georg Lausen, Proceedings of Second International Conference on Web Reasoning and Rule Systems (RR'08), Springer, LNCS 5341, Karlsruhe, Germany, November, 2007
(Details)

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

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

Yimin Wang, Peter Haase, Jie Bao
A Survey of Formalisms for Modular Ontologies
International Joint Conference on Artificial Intelligence 2007 (IJCAI'07) Workshop SWeCKa, Hyderabad, India, Januar, 2007
(Details)

Guilin Qi, Jeff Pan, Qiu Ji
A Possibilistic Extension of Description Logics
Proceedings of 20th International Workshop on Description Logics (DL'07), Seiten: 435-442, CEUR, 250, Juni, 2007
(Details)

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

Jianfeng Du, Guilin Qi, Yi-dong Shen
Lexicographical Inference over Inconsistent DL-Based Ontologies
In Diego Calvanese, Georg Lausen, Proceedings of Second International Conference on Web Reasoning and Rule Systems, Springer, LNCS 5341, Karlsruhe, Germany, November, 2007
(Details)

Sebastian Rudolph
Encoding Closure Operators into Neural Networks
In A. S. d'Avila Garcez, P. Hitzler and G. Tamburrini, Proceedings of the Third International Workshop on Neural-Symbolic Learning and Reasoning, CEUR Workshop Proceedings, 230, Hyderabad, India, Januar, 2007
(Details)

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

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

Sebastian Rudolph
A Deduction Calculus for Cumulated Clauses on FLE Concept Descriptions
In Pascal Hitzler, Henrik Schärfe, Peter Øhrstrøm, Inspiration and Application - Contributions to ICCS 2006, Seiten: 188 - 201, Aalborg University Press, Juli, 2006
(Details)

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

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

Sudhir Agarwal, Anupriya Ankolekar
Automatic Matchmaking of Web Services (Poster)
Proceedings of The 15th International World Wide Web Conference, ACM, Edinburgh, Scotland, Mai, 2006
(Details)

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

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

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

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

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

↑ top

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

↑ top

incollection
Peter Haase, Johanna Völker
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
In Paulo C. G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, Mike Pool, Uncertainty Reasoning for the Semantic Web I, Seiten 366-384, Springer, Lecture Notes in Computer Science, Vol.5327, 2008
(Details)

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

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

↑ top

proceedings
Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Supplementary Proceedings of ICCS'09
CEUR, Workshop Proceedings, Vol. 483, Juli, 2009
(Details)

Sebastian Rudolph, Frithjof Dau, Sergei O. Kuznetsov
Conceptual Structures: Leveraging Semantic Technologies
Springer, LNCS, Vol. 5662, Juli, 2009
(Details)

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

↑ top

techreport
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Institut AIFB, KIT, Archiv Nummer: 3013 Karlsruhe, April, 2011
(Details)

Sebastian Rudolph, Michael Schneider
On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms
Institut AIFB, KIT, Archiv Nummer: 3016 Karlsruhe, Technical Report, Juli, 2011
(Details)

Markus Krötzsch, Sebastian Speiser
Expressing Self-Referential Usage Policies for the Semantic Web
Institut AIFB, KIT, Archiv Nummer: 3014 Karlsruhe, Juni, 2011
(Details)

Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Institut AIFB, KIT, Archiv Nummer: 3015 Karlsruhe, August, 2011
(Details)

Markus Krötzsch, Sebastian Rudolph
Second-Order Queries for Rule-Based Data Access
Institut AIFB, KIT, Archiv Nummer: 3019 Karlsruhe, Technical Report, November, 2011
(Details)

Birte Glimm, Sebastian Rudolph
Nominals, Inverses, Counting, and Conjunctive Queries or Why Infinity is your Friend!
Oxford University, Archiv Nummer 2000, 2009
(Details)

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

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

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

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

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

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

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

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

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

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

↑ top

deliverable
Guilin Qi, Peter Haase
D3.1.3 Improved NeOn formalism for context representation
Universität Karlsruhe (TH)NeOn Project Deliverable D3.1.3, März, 2008
(Details)

Guilin Qi, Peter Haase, Qiu Ji
D1.2.1 Consistency Models for Networked Ontologies
Universität Karlsruhe (TH), (D1.2.1), NeOn Project Deliverable, März, 2007
(Details)

Guilin Qi, Peter Haase, Qiu Ji, Johanna Völker
D1.2.2 Consistency Models for Networked Ontologies --- Evaluation
Universität Karlsruhe (TH), (D1.2.2), NeOn Project Deliverable, September, 2007
(Details)

Guilin Qi, Peter Haase
D3.1.2 NeOn Formalisms for Context Representation
Universität Karlsruhe (TH)NeOn Project Deliverable D3.1.2, März, 2007
(Details)

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

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)

Karen Tso, Sebastian Blohm, Andriy Nikolov
Report on requirements for knowledge fusion, Deliverable D 3.1
X-Media Consortium, Dezember, 2006
(Details)

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

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

↑ top

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

Markus Krötzsch
Morphisms in Logic, Topology, and Formal Concept Analysis
Master's thesis, Technische Universität Dresden, Februar, 2005
(Details)

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

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

↑ top
-->