Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

ReaSem/en

Aus Aifbportal

Wechseln zu: Navigation, Suche
Transparent.png

Practical Reasoning Support for Semantic Technologies


Contact: Sebastian Rudolph




Project Status: completed


Description

Semantic Technologies are methods and tools for knowledge management, representation, and reasoning, based on ontologies and logic. Their development is mainly motivated by the advent of the Semantic Web, which is one of the main application areas of these technologies. The technology is currently spreading into adjacent areas of research including grid computing, knowledge management, ambient intelligence, and cognitive systems. Recent work done within our group led to the development of efficient and scalable deduction algorithms for basic ontologies expressed in the W3C standard OWL. The algorithms perform better than other existing algorithms and their implementation in a prototype reasoning system called KAON2 is nearly completed. In order to be applicable to practical cases, however, OWL has to be extended with expressive features including nonmonotonic reasoning, reasoning with uncertainty and inconsistencies, and simultaneous support of heterogeneous knowledge bases. In this project, we will study how such extensions can be achieved in a methodologically sound way. We will extend our algorithms in accord with the theoretical extensions achieved. We will furthermore extend KAON2 for applicability to real applications.


Involved Persons
Sebastian Rudolph, Markus Krötzsch


Information

from: 1 September 2006
until: 30 November 2009
Funding: DFG



Research Group

Web Science


Area of Research

Artificial Intelligence, Semantic Web, Logic


Publications Belonging to the Project
 - book
 - booklet
 - phdthesis
 - deliverable
 - manual
 - misc
 - unpublished





Inhaltsverzeichnis

article
Philipp Cimiano, Sebastian Rudolph, Helena Hartfiel
Computing Intensional Answers to Questions - An Inductive Logic Programming Approach
Data & Knowledge Engineering, 69, (3), pages 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), pages 89-126, Januar, 2008
(Details)

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

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

↑ top

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

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, pages: 151-162, Springer, LNCS, 5039, London, UK, Juni, 2008
(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)

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), pages: 225-235, AAAI Press, Mai, 2010
(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)

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)

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)

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

Matthias Knorr, 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)

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

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

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)

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

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

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

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)

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

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

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

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), pages: 278--292, Springer-Verlag, Lecture Notes on Computer Science, 5554, Juni, 2009
(Details)

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

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

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

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

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

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)

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

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), pages: 269-279, AAAI Press, Mai, 2010
(Details)

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

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

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, pages: 188 - 201, Aalborg University Press, Juli, 2006
(Details)

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

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), pages: 32-45, Springer, Lecture Notes in Artificial Intelligence, 4933, Februar, 2008
(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)

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

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

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

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

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

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, pages: 454-460, IEEE, Dezember, 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), pages: 62-77, Springer, Lecture Notes in Artificial Intelligence, 4933, Februar, 2008
(Details)

↑ top

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

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

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

↑ top

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

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

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

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

↑ top

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

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)

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

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

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

↑ top

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

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

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

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

Markus Krötzsch, Sebastian Rudolph
Finding the Largest Datalog Fragment of Description Logic
Institute AIFB, KIT, archiv number: 3002, (3002), November, 2009
(Details)

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

Markus Krötzsch
Efficient Inferencing for the Description Logic Underlying OWL EL
Institut AIFB, KIT, archiv number: 3005 Karlsruhe, Mai, 2010
(Details)

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

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

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

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

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

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

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

↑ top