Suche mittels Attribut

Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.

Liste der Ergebnisse

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)
Generalized Ultrametric Spaces in Quantitative Domain Theory + (Submitted)
A Finitary System for First Order Logic + (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. A slightly extended version of the slides was used at the KESW Summer School 2012 in St. Petersburg.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).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.)
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs + (This is a demo for the system described in … This is a demo for the system described in [[Inproceedings3063/en|Column-Oriented Datalog Materialization for Large Knowledge Graphs]]. Please cite the conference version instead.We also provide a '''[[Media:vlog-demo-iswc2016.mp4|screencast for the demo]].'''[[Media:vlog-demo-iswc2016.mp4|screencast for the demo]].''')
Reasoning with Attributed Description Logics + (This is a preliminary version of [[AtDLs/en|Attributed Description Logics: Ontologies for Knowledge Graphs]]. You may wish to consult this paper instead.)
Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract) + (This is an extended abstract of the [[Inproceedings3318/en|full AAAI 2022 publication of the same title]].)
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract) + (This is an extended abstract of the full KR 2018 publication available at https://iccl.inf.tu-dresden.de/web/Inproceedings3212/en.)
Efficient Model Construction for Horn Logic with VLog: Extended Abstract + (This is an extended abstract of the full IJCAR 2018 publication available at https://iccl.inf.tu-dresden.de/web/Article3046/en.)
Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract + (This is an extended abstract of the full IJCAI 2017 publication available at https://iccl.inf.tu-dresden.de/web/Inproceedings3140/en.)
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract) + (This is an extended abstract of the full KR 2018 publication available at https://iccl.inf.tu-dresden.de/web/Inproceedings3098/en.)
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract + (This is an extended abstract of the full ISWC 2017 publication available at https://iccl.inf.tu-dresden.de/web/Inproceedings3163/en.)
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (This is an extended abstract of the full AAAI 2019 publication available at https://iccl.inf.tu-dresden.de/web/Inproceedings3199/en.)
Efficient Dependency Analysis for Existential Rules + (This is an extended abstract of the full [[Inproceedings3338|ISWC 2022 publication]].)
Efficient Rule-Based Inferencing for OWL EL + (This is an extended summary of the paper E … This is an extended summary of the paper Efficient Inferencing for OWL EL that has been invited for the IJCAI 2011 Best Paper Track. It focusses on readability and has a new related work section. The technical details can be found in the extended technical report.be found in the extended technical report.)
The Combined Approach to Query Answering in Horn-ALCHOIQ + (This is an extended version of the paper with an additional appendix.)
Chasing Sets: How to Use Existential Rules for Expressive Reasoning + (This is an extended version of the paper with an additional appendix.)
Restricted chase (non)termination for existential rules with disjunctions + (This is an extended version of the paper with an additional appendix and a small correction of Definition 4.)
Wissen als Code: Die Welt der Wissensgraphen und Ontologien + (This is not a research publication but an introduction to knowledge management and ontologies written for a German technology magazine.)
语义Web技术基础 + (This is the Chinese translation of [[Book2014/en|Foundations of Semantic Web Technologies]] … This is the Chinese translation of [[Book2014/en|Foundations of Semantic Web Technologies]]. This has been made possible through the efforts of Guilin Qi (漆桂林). The English text was translated by Yong Yu (俞勇, Shanghai Jiao Tong University), Guilin Qi (漆桂林, Southeast University), Haofen Wang (王昊奋, Shanghai Jiao Tong University), Chang Liu (刘畅, Shanghai Jiao Tong University), assisted by several students acknowledged within the book.Note that there is also a (different) German textbook [[Book1546|Semantic Web – Grundlagen]].Grundlagen]].)
Reasonable Highly Expressive Query Languages: Extended Technical Report + (This is the extended technical report for the [[Inproceedings3015/en|eponymous IJCAI paper]]. Please refer to the latter for citations.)