Stage-oe-small.jpg

ExpresST/en

Aus Aifbportal
Wechseln zu:Navigation, Suche
ExpresST.png

Expressive Querying for Semantic Technologies


Contact: Sebastian Rudolph




Project Status: completed


Description

In ExpresST, we develop next-generation query languages for OWL knowledge bases. The need for such query languages is apparent from the demands of application scenarios. Accordingly, in ExpresST we will be concerned with conjunctive queries on the one hand, and on the other hand with the development of query languages with expressive capabilities which surpass the classical ones, in particular with regard to the usage of the local closed world assumption. In ExpresST, we will first analyse by means of complexity and decidability analyses, which kinds of query languages are realisable in principle. These investigations will cover conjunctive queries for OWL, OWL 2, and for OWL rule extensions, as well as superclassical language extensions as used e.g. in rule languages. These analyses will lead to the identification of suitable query languages, which will then be realised and evaluated by means of a prototype implementation.


Involved Persons
Markus Krötzsch, Sebastian Rudolph, Anees ul Mehdi


Information

from: 1 Dezember 2009
until: 31 Dezember 2012
Funding: DFG
Predecessing Project: ReaSem



Research Group

Web Science


Area of Research

Semantic Technologies, Description Logics, Logic, Logic Programming


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





Inhaltsverzeichnis

article

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Stream Reasoning and Complex Event Processing in ETALIS
Semantic Web – Interoperability, Usability, Applicability, 2011
(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), pages 1-57, Februar, 2012
(Details)


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


Sebastian Rudolph, Birte Glimm
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is Your Friend!
Journal of Artificial Intelligence Reasearch, 39, pages 429-481, Oktober, 2010
(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), pages 1-38, Februar, 2012
(Details)


↑ top

inproceedings

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), pages: 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, pages: 635-644, ACM
(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, pages: 42-57, Springer, LNCS, 6333, September, 2010
(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), pages: 122-137, Springer, LNCS, 6826, 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, pages: 712-717, IJCAI/AAAI, Juli, 2011
(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)


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, pages: 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), pages: 225-235, 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, pages: 88-102, Springer, LNCS, 6333, September, 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, Sebastian Rudolph
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
In Toby Walsh, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pages: 963-968, IJCAI/AAAI, Juli, 2011
(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), pages: to appear, Springer, LNAI
(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)


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)


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)


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, pages: 1039-1044, IJCAI/AAAI, Juli, 2011
(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, pages: 278-293, Springer, LNCS, 7278, Mai, 2012
(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)


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)


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)


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)


↑ 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, pages 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, pages 76-136, Springer, LNCS, Vol. 6848, 2011
(Details)


↑ top

techreport

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


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


Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Institut AIFB, KIT, archiv number: 3011 Karlsruhe, Januar, 2011
(Details)


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


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


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


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


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


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


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


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


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


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


↑ top