Stage-oe-small.jpg

ExpresST

Aus Aifbportal
Wechseln zu:Navigation, Suche
ExpresST.png

Expressive Querying for Semantic Technologies


Kontaktperson: Sebastian Rudolph





Projektstatus: abgeschlossen


Beschreibung

In ExpresST werden Anfragesprachen der nächsten Generation für OWL Wissensbasen entwickelt. Der Bedarf für solche Anfragesprachen leitet sich aus konkreten Anforderungen aus Anwendungsszenarien ab. Entsprechend werden in ExpresST zum einen konjunktive Anfragen an OWL Wissensbasen detailliert untersucht und zum anderen Anfragesprachen entwickelt, die durch neue expressive Eigenschaften über die klassisch untersuchten hinausgehen, insbesondere bezüglich der Verwendung der lokalen Geschlossenen-Welt-Annahme. In ExpresST wird zunächst aufgrund theoretischer Analysen untersucht, welche Arten von Anfragesprachen grundsätzlich realisierbar sind. Komplexitäts- und Entscheidbarkeitsanalysen stehen dabei im Vordergrund. Untersucht werden konjunktive Anfragen für OWL, OWL 2 und Regelerweiterungen auf der einen Seite, sowie Spracherweiterungen, die wie z.B. in Regelsprachen verwendet werden und über die klassische Prädikatenlogik hinausführen. Nach entsprechender Definition und Auswahl geeigneter Anfragesprachen wird ein Prototypsystem als Implementierung entwickelt und evaluiert.


Involvierte Personen
Sebastian RudolphMarkus KrötzschAnees ul Mehdi


Informationen

von: 1 Dezember 2009
bis: 31 Dezember 2012
Finanzierung: DFG
Vorgängerprojekt(e): ReaSem


Forschungsgruppe

Wissensmanagement


Forschungsgebiet

ExpresST (Semantische Technologien, Beschreibungslogik, Logik, Logikprogrammierung)





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






article
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Transactions on Computational Logic, 2012
(Details)


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
Real-Time Complex Event Recognition and Reasoning – A Logic Programming Approach
Applied Artificial Intelligence, 21, (1-2), Seiten 1-57, 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)


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)


↑ top

inproceedings
Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logics and Rules under Minimal Hypotheses
Proceedings of the 6th International Conference on Web Reasoning and Rule Systems, RR2012, September, 2012
(Details)


Sebastian Rudolph
Some Notes on Managing Closure Operators
In Florent Domenach, Dmitry I. Ignatov, Jonas Poelmans, Proceedings of the 10th International Conference on Formal Concept Analysis, Seiten: 278-293, Springer, LNCS, 7278, Mai, 2012
(Details)


Sébastien Ferré, Sebastian Rudolph
Advocatus Diaboli - Exploratory Enrichment of Ontologies with Negative Constraints
Proceedings of the 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2012), Springer, Oktober, 2012
(Details)


Nadeschda Nikitina, Sebastian Rudolph
On the (Non-)Succinctness of Uniform Interpolation in General EL Terminologies
In Markus Krötzsch and Umberto Straccia, Web Reasoning and Rule Systems - 6th International Conference, RR 2012,, Springer, September, 2012
(Details)


Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Retractable Complex Event Processing and Stream Reasoning
In Nick Bassiliades, Guido Governatori, Adrian Paschke, 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), Seiten: 122-137, Springer, LNCS, 6826, Juli, 2011
(Details)


Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Juli, 2011
(Details)


Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams
In Nick Bassiliades, Guido Governatori, Adrian Paschke, 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), Seiten: 138-153, Springer, LNCS, 6826, Juli, 2011
(Details)


Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning
In Sadagopan Srinivasan, Krithi Ramamritham, Arun Kumar, M. P. Ravindra, Elisa Bertino, Ravi Kumar, Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Seiten: 635-644, ACM
(Details)


Anees ul Mehdi, Sebastian Rudolph, Stephan Grimm
Epistemic Queries for OWL Knowledge Bases
Proceedings of the 8th Extended Semantic Web Conference, ESWC 2011, Mai, 2011
(Details)


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)


Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Proceedings of the 25th Conference on Artificial Intelligence, AAAI 2011, August, 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)


Anees ul Mehdi, Sebastian Rudolph
Practical Epistemic Entailment Checking in SROIQ
Proceedings of the 24th International Workshop on Description Logics (DL2011), CEUR Workshop Proceedings, 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)


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)


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)


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)


Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
A Rule-Based Language for Complex Event Processing and Reasoning
In Pascal Hitzler, Thomas Lukasiewicz, Web Reasoning and Rule Systems - Fourth International Conference, Seiten: 42-57, Springer, LNCS, 6333, September, 2010
(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, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
In Pascal Hitzler, Thomas Lukasiewicz, Web Reasoning and Rule Systems - Fourth International Conference, Seiten: 88-102, Springer, LNCS, 6333, September, 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)


↑ top

incollection
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
ETALIS: Rule-Based Reasoning in Event Processing
In Sven Helmer, Alex Poulovassilis, Fatos Xhafa, Reasoning in Event-Based Distributed Systems, Seiten 99-124, Springer, Studies in Computational Intelligence, Vol.347, April, 2011
(Details)


Sebastian Rudolph
Foundations of Description Logics
In Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider, Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Seiten 76-136, Springer, LNCS, Vol.6848, 2011
(Details)


↑ top

techreport
Anees ul Mehdi, Sebastian Rudolph, Jens Wissman
EQuIKa: Epistemic Querying in OWL 2 Ontologies
AIFB, Archiv Nummer: 3038 Karlsruhe, Technical Report, April, 2013
(Details)


Anees ul Mehdi
Semantical Considerations on Description Logics of MKNF
Institut AIFB, Archiv Nummer: 3042 Karlsruhe, Technical Report, Dezember, 2013
(Details)


Sebastian Rudolph, Markus Krötzsch
Flag & Check - Data Access with Monadically Defined Queries (Extended Technical Report)
Institut AIFB, KIT, Archiv Nummer: 3030 Karlsruhe, Technical Report, Februar, 2013
(Details)


Markus Krötzsch, Sebastian Rudolph
Conjunctive Query Answering for Directional Rules
Institut AIFB, KIT, Archiv Nummer: 3026 Karlsruhe, Technical Report, Mai, 2012
(Details)


Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
AIFB, KIT, Archiv Nummer: 3027 Karlsruhe, Research Notes, Mai, 2012
(Details)


Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logic and Rules under MH Semantics
Institut AIFB, KIT, Archiv Nummer: 3028 Karlsruhe, Technical Report, Juli, 2012
(Details)


Nadeschda Nikitina, Birte Glimm
Hitting the Sweetspot: Economic Rewriting of Knowledge Bases
AIFB, KIT, Archiv Nummer: 3029 Karlsruhe, Research Notes, Mai, 2012
(Details)


Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Institut AIFB, KIT, Archiv Nummer: 3011 Karlsruhe, Januar, 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)


Anees ul Mehdi, Sebastian Rudolph, Jens Wissmann
EQuIKa: Epistemic Querying Answering in OWL2 Ontologies
Institut AIFB, KIT., Archiv Nummer: 3020 Karlsruhe, Technical Report, Dezember, 2011
(Details)


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


Anees ul Mehdi, Sebastian Rudolph, Stephen Grimm
Epistemic Queries for OWL
Institut AIFB, KIT, Archiv Nummer: 3009 Karlsruhe, Dezember, 2010
(Details)


↑ top