Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Wissensrepräsentationssprachen

Aus Aifbportal

Wechseln zu: Navigation, Suche

Wissensrepräsentationssprachen



Aktive Projekte

STI2
Externer Link: http://www.sti2.org


Veröffentlichungen zum Forschungsgebiet

Article
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-Elimination-Based Reasoning for the Description Logic SHIQbs Using Decision Diagrams and Disjunctive Datalog
Logical Methods in Computer Science, 8, (1:12), Seiten 1-38, Februar, 2012
(Details)

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Stream Reasoning and Complex Event Processing in ETALIS
Semantic Web – Interoperability, Usability, Applicability, 2011
(Details)

Max Völkel, Heiko Haller
Conceptual Data Structures for Personal Knowledge Management
Online Information Review, 33, (2), Seiten 298--3125, 2009
(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
Efficient Inferencing for OWL EL
In Tomi Janhunen, Ilkka Niemelä, Proceedings of the 12th European Confernce on Logics in Artificial Intelligence (JELIA'10), Seiten: to appear, Springer, LNAI
(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)

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)

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)

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)

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

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

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)

Max Völkel
A Semantic Web Content Model and Repository
Proceedings of the 3rd International Conference on Semantic Technologies, Seiten: 254--261, Graz, Austria, September, 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)

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)

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)

Max Völkel
From Documents to Knowledge Models
In Prof. Dr.-Ing. Norbert Gronau, Proc. of the 4th Conference on Professional Knowledge Management, Seiten: 209 -- 216, GITO mbh, Berlin, 2, März, 2007
(Details)

Max Völkel, Heiko Haller, Andreas Abecker
Modelling Higher-Level Thought Structures - Method & Tool
Proceedings of Workshop on Foundations and Applications of the Social Semantic DesktopOktober, 2007
(Details)

Max Völkel, Heiko Haller
Conceptual Data Structures (CDS) -- Towards an Ontology for Semi-Formal Articulation of Personal Knowledge
Proc. of the 14th International Conference on Conceptual Structures 2006, Aalborg University - Denmark, Juli, 2006
(Details)

Denny Vrandecic, Aldo Gangemi
Unit tests for ontologies
In Mustafa Jarrar and Claude Ostyn and Werner Ceusters and Andreas Persidis, Proceedings of the 1st International Workshop on Ontology content and evaluation in Enterprise, Springer, LNCS, Montpellier, France, Oktober, 2006
(Details)

Max Völkel, Eyal Oren
Towards a Wiki Interchange Format (WIF)
In Max Völkel and Sebastian Schaffert, Proceedings of the First Workshop on Semantic Wikis -- From Wiki To Semantics
(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)

Saartje Brockmans, Peter Haase, Heiner Stuckenschmidt
Formalism-Independent Specification of Ontology Mappings - A Metamodeling Approach
In Robert Meersman, Zahir Tari, et al., OTM 2006 Conferences, Springer Verlag, LNCS, Montpellier, France, Oktober, 2006
(Details)

Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer
DLP isn't so bad after all
In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, and Peter Patel-Schneider, Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, CEUR Workshop Proceedings, 188, November, 2005
(Details)

Anne Cregan, Malgorzata Mochol, Denny Vrandecic, Sean Bechhofer
Pushing the limits of OWL, Rules and Protege - A simple example
In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, OWL: Experiences and Directions, Galway, Ireland, November, 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, Jürgen Angele, Boris Motik, Rudi Studer
Bridging the Paradigm Gap with Rules for OWL
Proceedings of the W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USAApril, 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)

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)

Denny Vrandecic
Explicit Knowledge Engineering Patterns with Macros
In Chris Welty and Aldo Gangemi, Proceedings of the Ontology Patterns for the Semantic Web Workshop at the ISWC 2005, Galway, Ireland, November, 2005
(Details)

Pascal Hitzler, Rudi Studer, York Sure
Description Logic Programs: A Practical Choice For the Modelling of Ontologies
1st Workshop on Formal Ontologies Meet Industry, FOMI'05, Verona, Italy, June 2005März, 2005
(Details)

Stephan Bloehdorn, Kosmas Petridis, Nikos Simou, Vassilis Tzouvaras, Yannis Avrithis, Siegfried Handschuh, Yiannis Kompatsiaris, Steffen Staab, Michael G. Strintzis
Knowledge Representation for Semantic Multimedia Content Analysis and Reasoning
Proceedings of the European Workshop on the Integration of Knowledge, Semantics and Digital Media Technology (EWIMT)November, 2004
(Details)

Noah Friedland, Paul Allen, Michael Witbrock, Gavin Matthews, Nancy Salay, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, David Israel, Vinay Chaudhri, Bruce Porter, Ken Barker, Peter Clark
Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems
Proceedings of the Conference on Knowledge Representation and Reasoning - KR-2004, Seiten: 507-515, AAAI Press, Juni, 2004
(Details)

Raphael Volz
External Ontologies in the Semantic Web
Proc. of the 20th British National Conference on Databases (BNCOD), Coventry, UK, July 2003, Seiten: 67-74, Springer, 2712
(Details)

↑ top

book
Steffen Staab, Rudi Studer
Handbook on Ontologies
Springer Verlag, International Handbooks on Information Systems, 2004
(Details)

↑ top

incollection
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, 2007
(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)

↑ top

proceedings
Madalina Croitoru, Robert Jäschke, Sebastian Rudolph
Third Conceptual Structures Tool Interoperability Workshop (CS-TIW 2008)
CEUR Workshop Proceedings, Vol. 352, Juli, 2008
(Details)

Pascal Hitzler, Holger Wache, Thomas Eiter
Proceedings of the WWW2006 Workshop on Reasoning on the Web, RoW06, Edinburgh, UK, May 2006
Mai, 2006
(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)

York Sure, J. Domingue
The Semantic Web: Research and Applications, 3rd European Semantic Web Conference, ESWC 2006
Springer, Lecture Notes in Computer Science, Vol. 4011, Budva, Montenegro
(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)

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
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
Expressive Tractable Description Logics based on SROIQ Rules
Universität Karlsruhe (TH), Archiv Nummer 1724, Februar, 2008
(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)

Saartje Brockmans, Peter Haase
A Metamodel and UML Profile for Rule-extended OWL DL Ontologies - A Complete Reference
Universität Karlsruhe (TH), Archiv Nummer 1219, März, 2006
(Details)

Max Völkel, Eyal Oren
Personal Knowledge Management with Semantic Wikis
AIFB Karlsruhe, Archiv Nummer 1064, Dezember, 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)

Max Völkel
Writing the Semantic Web with Java
DERI Galway, Archiv Nummer 1073, Dezember, 2005
(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

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

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)

Yannis Avrithis, Stephan Bloehdorn, Johann Dumortier, Siegfried Handschuh, Johannes Heinecke, Yiannis Kompatsiaris, Sam H. Minelli, Kosmas Petridis, Steffen Staab, Jurgen Stauder, Vassilis Tzouvaras
D4.1 Report on aceMedia Semantic Structures and Application Domain Ontologies
Institute AIFB, University of KarlsruheaceMedia External Deliverable, September, 2004
(Details)

↑ top

misc
Jos de Bruijn, Dieter Fensel, Pascal Hitzler, Michael Kifer, Axel Polleres
Relationship of WRL to relevant other technologies
W3C Member Submission, 09 September 2005, September, 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)

↑ top