Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

ReaSem

Aus Aifbportal

Wechseln zu: Navigation, Suche

Practical Reasoning Support for Semantic Technologies


Kontaktperson: Sebastian Rudolph





Projektstatus: abgeschlossen


Beschreibung

Semantische Technologien bestehen aus Methoden und Tools für das Management und die Repräsentation von Wissen, sowie das automatisierte logische Schließen darüber. Ihre Entstehung ist hauptsächlich durch die aktuelle Forschung zum entstehenden Semantic Web motiviert, sie verbreiten sich jedoch in jüngster Zeit auch in angrenzenden Forschungsgebeiten wie dem Grid Computing, dem Wissensmanagement, der Ambient Intelligence und der kognitiven Systeme. Neue Forschungsergebnisse unserer Gruppe führten zur Entwicklung von effizienten und skalierbaren Deduktionsalgorithmen über Ontologien, die in der Basisontologiesprache OWL ausgedrückt werden. Um Anforderungen der Praxis zu genügen ist es notwendig, die Ausdrucksmächtigkeit der Sprache OWL zu erweitern, z.B. durch Hinzufügung automatisierter Deduktionsverfahren, die nichtmonotone Aspekte, Schließen mit Inkonsistenzen, unsicheres Wissen und heterogene Datenquellen unterstützen. In diesem Projekt untersuchen wir, wie solche Erweiterungen theoretisch und methodisch sauber erzielt werden können.


Involvierte Personen
Sebastian RudolphMarkus Krötzsch


Informationen

von: 1 September 2006
bis: 30 November 2009
Finanzierung: DFG


Forschungsgruppe

Wissensmanagement


Forschungsgebiet

Künstliche Intelligenz, Semantic WebLogik Künstliche Intelligenz, Semantic Web, Logik





Publikationen zum Projekt
 - book
 - booklet
 - phdthesis
 - deliverable
 - manual
 - misc
 - unpublished






article
Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel
Computing Intensional Answers to Questions - An Inductive Logic Programming Approach
Data & Knowledge Engineering, 69, (3), Seiten 261-278, März, 2010
(Details)

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

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

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

↑ top

inproceedings
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)

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)

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)

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)

Uta Lösch, Sebastian Rudolph, Denny Vrandecic, Rudi Studer
Tempus Fugit - Towards an Ontology Update Language
In Lora Aroyo et al., 6th European Semantic Web Conference (ESWC 09), Seiten: 278--292, Springer-Verlag, Lecture Notes on Computer Science, 5554, Juni, 2009
(Details)

Johanna Völker, Sebastian Rudolph
Fostering Web Intelligence by Semi-automatic OWL Ontology Refinement
7th International Conference on Web Intelligence, WI 2008, Main Conference Proceedings, Seiten: 454-460, IEEE, Dezember, 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)

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

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
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)

Philipp Cimiano, Helena Hartfiel, Sebastian Rudolph
Intensional Question Answering using ILP: What does an answer mean?
In Epaminondas Kapetanios, Vijayan Sugumaran, Myra Spiliopoulou, Natural Language and Information Systems, 13th International Conference on Applications of Natural Language to Information Systems, NLDB 2008, Seiten: 151-162, Springer, LNCS, 5039, London, UK, Juni, 2008
(Details)

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

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

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)

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)

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)

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

Sebastian Rudolph
Acquiring Generalized Domain-Range Restrictions
In Raoul Medina and Sergei Obiedkov, Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), Seiten: 32-45, Springer, Lecture Notes in Artificial Intelligence, 4933, Februar, 2008
(Details)

Johanna Völker, Sebastian Rudolph
Lexico-Logical Acquisition of OWL DL Axioms - An Integrated Approach to Ontology Refinement
In Raoul Medina and Sergei Obiedkov, Proceedings of the 6th International Conference on Formal Concept Analysis (ICFCA'08), Seiten: 62-77, Springer, Lecture Notes in Artificial Intelligence, 4933, Februar, 2008
(Details)

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

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

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

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

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

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

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

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

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

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)

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)

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

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

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

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

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

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

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

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)

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)

↑ top

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

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

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

↑ top

incollection
Markus Krötzsch, Bernhard Ganter
A Brief Introduction to Formal Concept Analysis
In Pascal Hitzler and Hendrik Schärfe, Conceptual Structures in Practice, Seiten 3--16, Chapman & Hall, CRC Studies in Informatics, Mai, 2009
(Details)

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

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

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

↑ top

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

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

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

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

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

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
Markus Krötzsch
Efficient Inferencing for the Description Logic Underlying OWL EL
Institut AIFB, KIT, Archiv Nummer: 3005 Karlsruhe, Mai, 2010
(Details)

Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Institute AIFB, KIT, Archiv Nummer: 3002, (3002), November, 2009
(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
Cheap Boolean Role Constructors for Description Logics
Institut AIFB, Universität Karlsruhe, Archiv Nummer 1753, April, 2008
(Details)

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
OBDD-based Tbox Reasoning in SHIQ
Universität Karlsruhe, Archiv Nummer 1751, Januar, 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)

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

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
All Elephants are Bigger than All Mice
Institut AIFB, KIT, Archiv Nummer: 3007 Karlsruhe, Februar, 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)

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
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)

↑ top


-->