Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

Structural Subsumption Considered from an Automata Theoretic Point of View + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Query Containment Using a DLR ABox + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Matching Concept Descriptions with Existential Restrictions Revisited + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
The Complexity of Reasoning with Boolean Modal Logics (Extended Version) + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Interval-based Temporal Reasoning with General TBoxes + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
NExpTime-complete Description Logics with Concrete Domains + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Computing Least Common Subsumers in ALEN + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Rewriting Concepts Using Terminologies – Revisited + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Modal Logic and the two-variable fragment + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Adding Numbers to the SHIQ Description Logic—First Results + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
A Tableau Calculus for Temporal Description Logic: The Constant Domain Case + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Optimised Reasoning for SHIQ + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
The Inverse Method Implements the Automata Approach for Modal Satisfiability + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Unification in a Description Logic with Transitive Closure of Roles + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Matching under Side Conditions in Description Logics + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies + (See http://www-lti.informatik.rwth-aachen.de/Forschung/Reports.html.)
Unification Theory + (See the handbook Web pages of Andrei Voronkov (http://www.cs.man.ac.uk/ voronkov/handbook-ar/index.html) and Elsevier (http://www.elsevier.nl/locate/isbn/0444829490).)
Concept Dissimilarity with Triangle Inequality + (Short Paper. To appear.)
Open-World Probabilistic Databases: An Abridged Report + (Sister Conference Best Paper Track)
Semantic Wikipedia (software demo) + (Software demo)
Unification in the Description Logic EL + (Special Issue of the 20th International Conference on Rewriting Techniques and Applications; also available at http://arxiv.org/abs/1006.2289)
Automata-based Axiom Pinpointing + (Special Issue: Selected Papers from IJCAR 2008)
Axiom Pinpointing in General Tableaux + (Special Issue: Tableaux and Analytic Proof Methods)
IASCAR: Incremental Answer Set Counting by Anytime Refinement + (Special issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning)
Effective algorithm for parameter back calculation - Geotechnical applications + (Special issue: Geotechnical Engineering)

A Finitary System for First Order Logic + (Submitted)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Submitted)

On Structuring Proof Search for First Order Linear Logic + (Submitted to ACM Transactions on Computational Logic)
Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging + (Supervised by Heiko Vogler and Richard Mörbitz)
Reliance-Based Optimization of Existential Rule Reasoning + (Supervised by Markus Krötzsch)
Indexing for Datalog Materialisation with Leapfrog Triejoin + (Supervised by Markus Krötzsch)
Classifying Software Bug Reports Using Methods from Formal Concept Analysis + (Suplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA'14))
Beam Me Up! - LaTeX-Beamer For Those Who Already Know + (Talk together with Sascha Wunderlich)
Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules + (The PDF is an extended technical report up … The PDF is an extended technical report upon which the paper is based. The original paper is available at https://www.ijcai.org/Proceedings/2020/246. There is also an [[Media:2020-ijcai-small-rewritings-presentation.pdf|alternative slides set]] about this work.[[Media:2020-ijcai-small-rewritings-presentation.pdf|alternative slides set]] about this work.)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (The PDF provided here is the TU Dresden Technical Report WV-04-02, which contains the same work but in a different format.)
Computing Cores for Existential Rules with the Standard Chase and ASP + (The conference's copyright agreement requires the following link to be shown here: http://www.kr.org)
A rule-based ontological framework for the classification of molecules + (The content of this work is also available in HTML format at http://www.jbiomedsem.com/content/5/1/17 The work is Open Access under the terms of CC-BY 2.0.)
Working with Knowledge Graphs + (The course consisted of two 90min lectures, linked here as main PDF ("download") and "slides", respectively.)
Practical Linked Data Access via SPARQL: The Case of Wikidata + (The data used in this publication is avail … The data used in this publication is available in the form of anonymised '''[[Wikidata SPARQL Logs/en|Wikidata SPARQL query logs]]'''. There are some discrepancies in the counts since the workshop paper also took queries into account that were not answered in a regular fashion, whereas the published logs restrict to HTTP status 200 (success) responses. The analysis does not change in its main findings due to this.t change in its main findings due to this.)
Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph + (The data used in this publication is avail … The data used in this publication is available in the form of anonymised '''[[Wikidata SPARQL Logs/en|Wikidata SPARQL query logs]]'''. There are some minor discrepancies in the counts due to small changes in the pre-processing done on the logs that were eventually published. The paper has [[News38/en|won the Best Paper Award in the In-Use Track of ISWC 2018]].[[News38/en|won the Best Paper Award in the In-Use Track of ISWC 2018]].)
Semantic MediaWiki + (The main publication on Semantic MediaWiki is the journal article [[Article1551/en|Semantic Wikipedia]].)
Concurrent Classification of EL Ontologies + (The main reference on ELK is [[Article4004/en|The Incredible ELK]].)
A Note on Undecidability of Observation Consistency for Non-Regular Languages + (The problem is still open)
Wikidata: The Making Of + (Theres is also an [https://dl.acm.org/doi/fullHtml/10.1145/3543873.3585579 HTML version of this publication]. This work is available freely under an open access license (CC By SA 4.0).)
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages + (These are the lecture notes for a course a … These are the lecture notes for a course at the 8th Reasoning Web Summer School in Vienna, Austria, September 3–8 2012, which is part of the Vienna Logic Weeks 2012. The notes have been published in Springer LNCS 7487. </br>A slightly extended version of the slides was used at the KESW Summer School 2012 in St. Petersburg.</br>A further extended version of the slides was presented at a slightly longer course at the ICCL Summer School 2013 in Dresden.at the ICCL Summer School 2013 in Dresden.)
The Fast and the Numerous - Combining Machine and Community Intelligence + (These proceedings are really officially na … These proceedings are really officially named "WS-08-15", as can be seen at http://www.aaai.org/Press/Reports/Workshops/ws-08-15.php. The term "08/15" is [[wikipediade:08/15_(Redewendung)|a common metaphor in German]] for something that is entirely ordinary and generic.ing that is entirely ordinary and generic.)
Description Logics + (This article is a contribution to the IEEE … This article is a contribution to the IEEE Int. Sys. special issue on Representation and Reasoning. It is a peer-reviewed version of the material in the [[Techreport4003/en|Description Logic Primer]], and might thus be preferable for citations. In general, those without access to IEEE Int. Sys. can safely consult the freely available DL Primer to learn about DLs.ly available DL Primer to learn about DLs.)
A Description Logic Primer + (This chapter is a version of the free [[Techreport4003/en|Description Logic Primer]] … This chapter is a version of the free [[Techreport4003/en|Description Logic Primer]]. A peer-reviewed version of this material has appeared as the [[Article4003/en|IEEE Intelligent Systems article "Description Logics"]] (please use this for citations).</br></br>More information about this book is found on its homepage [http://ontology-learning.net/ Perspectives on Ontology Learning].g.net/ Perspectives on Ontology Learning].)
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling + (This contribution to the DL Workshop 2013 reports about the results published in the conference paper [[Inproceedings4008/en|Computing Stable Models for Nonmonotonic Existential Rules]]. Please refer to this paper for further details.)
P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others + (This invited paper accompanies a keynote talk at RR 2014.)
Nominal Schemas for Integrating Rules and Description Logics + (This is a condensed version of the conference paper [[Inproceedings4025/en|A Better Uncle For OWL:Nominal Schemas for Integrating Rules and Ontologies]] that appeared at WWW 2011.)