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

• Number Restrictions on Complex Roles in Description Logics  + (An extended version has appeared as Technical Report LTCS-96-02)
• Description Logics with Symbolic Number Restrictions  + (An extended version has appeared as Technical Report LTCS-96-03)
• The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains  + (An extended version of this paper can be found at: https://arxiv.org/abs/2405.19096)
• Materializing Knowledge Bases via Trigger Graphs  + (An extended version of this paper containing all formal arguments is available at https://arxiv.org/abs/2102.02753)
• Efficient Parallel Dictionary Encoding for RDF Data  + (An extended version of this work is the journal article [[Article3018/en|Fast Compression of Large Semantic Web using X10]])
• On the Semantic Relationship between Datalog and Description Logics  + (An extended version of this work is the journal article [[Article3010/en|A Closer Look at the Semantic Relationship between Datalog and Description Logics]].)
• Verfahren zur Ausführung von mathematischen Operationen mittels eines DNA-Computers und DNA-Computer hierzu  + (Anmeldung als Deutsches Patent, Aktenzeichen 10159886.6, Deutsches Patentamt München)
• Default reasoning over domains and concept hierarchies  + (Appeared in 2004)
• A generalized resolution theorem  + (Appeared in 2004)
• Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion  + (Appeared in 2004)
• Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics  + (ArXiV)
• The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies  + (As of 2013, this is the main publication about the ELK reasoner. The work largely subsumes, extends, and improves the earlier publications Concurrent Classification of EL Ontologies and ELK Reasoner: Architecture and Evaluation.)
• Wikidata: a free collaborative knowledgebase  + (As of March 2014, this is the main referen … As of March 2014, this is the main reference on Wikidata, thus finally answering the question "What to cite on Wikidata?" that many people have been asking for some time. With the increasing relevance of the project, many more research papers about Wikidata should be forthcoming. The article is been published under an Open Access scheme. The PDF provided here is the original final version.</br></br></br>Thanks to Yusuke Matsubara, this article is now also a available in a Japanese translation '''“[http://blog.whym.org/post/121582690206/wikidata-cacm2014-vrandecic-krotzsch ウィキデータ：共同作業で作られるフリーな知識ベース]"'''.c-krotzsch ウィキデータ：共同作業で作られるフリーな知識ベース]"'''.)
• Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies  + (Available at http://dx.doi.org/10.1016/j.websem.2011.11.006)
• Unification in Modal and Description Logics  + (Available at http://jigpal.oxfordjournals.org/content/19/6/705.abstract)
• Tableau Systems for SHIO and SHIQ  + (Available from ceur-ws.org)
• A Tableau System for the Description Logic SHIO  + (Available from ceur-ws.org)
• A Generator for Description Logic Formulas  + (Available from ceur-ws.org)
• Medizinische Aus- und Weiterbildung: Mit dem Computer lernen  + (Braun Fachverlage)
• Logics for Reasoning about Preferences, Uncertainty, and Vagueness  + (Co-located with the 7th International Joint Conference on Automated Reasoning (IJCAR 2014))
• Molekularbiologisches Verfahren zur Lösung von NP-Problemen  + (Deutsches Patent DE 198 53 726 A 1, IPC C12N 15/10, Deutsches Patentamt München)
• Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification  + (Dissertation)
• Unifikation und Reduktionssysteme für Halbgruppenvarietäten  + (Dissertation)
• Reifying RDF: What Works Well With Wikidata?  + (Errata: The published version contains an … Errata: The published version contains an error in Table 5 and Figure 3: columns for standard reification and n-ary relations were switched there. Moreover, the minimum y-value (100 ms) used for Figure 3 was higher than the runtime of two query executions for Virtuoso (Q7: NR & SP), which thus did not show despite having been run successfully. These errors have been corrected in the PDF published here.have been corrected in the PDF published here.)
• Efficient Model Construction for Horn Logic with VLog  + (Erratum: This version fixes two typos that … Erratum: This version fixes two typos that were present in the publication in Algorithm 1: line 1.5 now also includes a set difference to avoid adding existing facts (necessary since heads can be multi-atom); line 1.8 now uses the correct index (i instead of i+1) uses the correct index (i instead of i+1))

• A Generic Model for Video Content Based Retrieval  + (Extended Abstract)

• Finite Groundings for ASP with Functions: A Journey through Consistency (Extended Abstract)  + (Extended Abstract of https://doi.org/10.24963/ijcai.2024/375)
• General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Abstract)  + (Extended Abstract of https://iccl.inf.tu-dresden.de/web/Inproceedings3348)
• On the Decidability of Verifying LTL Properties of Golog Programs  + (Extended version. See http://lat.inf.tu-dresden.de/research/reports.html.)
• The Complexity of Reasoning with Boolean Modal Logic  + (Final version appeared in Advanced in Modal Logic Volume 3, 2001.)
• A Tableau Algorithm for the Clique Guarded Fragment  + (Final version appeared in Advanced in Modal Logic Volume 3, 2001.)
• Description Logics with Concrete Domains—A Survey  + (Final version appeared in Advanced in Modal Logic Volume 4, 2003.)
• Concrete Results on Abstract Rules  + (Full proofs can be found in the [[Media:Kroetzsch_Magka_Horrocks_Abstract_Rules_TR_2013.pdf|extended technical report]] of this work.)
• Künstliche Intelligenz, quo vadis?  + (Gastbeitrag)
• Learning Terminological Knowledge with High Confidence from Erroneous Data  + (Gemeinsamer Workshop der Graduiertenkollegs, Dagstuhl)
• IASCAR: Incremental Answer Set Counting by Anytime Refinement  + (Honorable mention)
• Termersetzungssysteme, Skript zur Vorlesung  + (ISBN 3-86073-148-3)
• Begabtenförderung im MINT-Bereich  + (ISBN 3-87005-053-5)
• A Short Overview on Modern Parallel SAT-Solvers  + (ISBN 978-979-1421-11-9)
• A Heuristic Search Algorithm for Solving First-Order MDPs  + (ISBN-0-9749039-1-4,)
• A Method of Estimating Oriented Surface Elements from Stereo Images  + (ISBN-1-901725-29-4,)
• Symbolic Dynamic Programming within the Fluent Calculus  + (ISBN: 0-88986-358-X)
• Completing Incomplete Bayesian Networks  + (ISBN: 3-540-25332-7)
• What's in a name? — First Steps Towards a Structural Approach to Integrating Large Content-based Knowledge-Bases  + (ISSN 0940-1121)
• Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)  + (ISSN 1430-211X,)
• Implementing Deep Inference in TOM  + (ISSN 1430-211X,)
• The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference  + (ISSN 1430-211X,)
• A purely logical account of sequentiality in proof search – extended abstract  + (ISSN 1430–211X)
• Linear Logic and Noncommutativity in the Calculus of Structures  + (ISSN 1430–211X)
• 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002  + (ISSN 1430–211X)
• Solving Hidokus using SAT Solvers  + (ISSN 2219-293X)