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

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.)
Wikipedia and the Semantic Web - The Missing Links + (This is the historic first publication tha … This is the historic first publication that started the work towards [[Wikidata/en|Wikidata]]. It mentions "Wikidata" in the text, but at the time this was a very different project that later turned into OmegaWiki (see the history of the URL given in the paper).he history of the URL given in the paper).)
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL + (This paper got nominated for the Best Pape … This paper got nominated for the Best Paper award in the research track of ISWC 2012. Congratulations to Rahul Parundekar, Craig Knoblock and José Luis Ambite whose paper Discovering Concept Coverings in Ontologies of Linked Data Sources received the award.of Linked Data Sources received the award.)
Attributed Description Logics: Ontologies for Knowledge Graphs + (This paper has been [https://iswc2017.ai.wu.ac.at/program/awards/ nominated for the Best Research Paper Award] at ISWC 2017.)
Tractable Query Answering for Expressive Ontologies and Existential Rules + (This paper has been [https://iswc2017.ai.wu.ac.at/program/awards/ nominated for the Best Research Paper Award] at ISWC 2017.)
A Closer Look at the Semantic Relationship between Datalog and Description Logics + (This paper is the extended journal version of the article [[Inproceedings3100/en|On the Semantic Relationship between Datalog and Description Logics]].)
Fast Compression of Large Semantic Web Data using X10 + (This paper is the extended journal version of the article [[Inproceedings4049/en|Efficient Parallel Dictionary Encoding for RDF Data]]. The source code in X10 is available at: https://github.com/longcheng11/rdf_encoding)
Unchain My EL Reasoner + (This paper relates to an early version of the ELK Reasoner. The main reference for ELK is [[Article4004/en|The Incredible ELK]]. Please use this in citations.)
VLog: A Rule Engine for Knowledge Graphs + (This publication has received the '''Best Paper Award (Resources Track)''' at ISWC 2019!)
Semantic Characterizations of AGM Revision for Tarskian Logics + (This publication has received the '''Best Student Paper Award'''!)
Capturing Homomorphism-Closed Decidable Queries with Existential Rules + (This publication has received the '''Ray Reiter Best Paper Award''' at KR 2021!)
Shortipedia: Aggregating and Curating Semantic Web Data + (This publication is the system description of Shortipedia which won the third prize of the 2010 Semantic Web Challenge held at the International Semantic Web Conference 2010.)
On the Complexity of Terminological Reasoning + (This report is superceded by the LTCS-00-01 technical report and my LPAR'99 paper.)
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules + (This technical report provides additional details for the paper [[Inproceedings3149/en|Extending Decidable Existential Rules by Joining Acyclicity and Guardedness]], which should usually be cited instead.)
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies + (This work completely subsumes, extends, and improves earlier results on Acyclicity Conditions and their Application to Query Answering in Description Logics.)
Acyclicity Conditions and their Application to Query Answering in Description Logics + (This work is completely subsumed by the journal article [[Article4005/en|Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies]].)
Reasonable Highly Expressive Query Languages + (This work was awarded with the title '''[h … This work was awarded with the title '''[http://ijcai-15.org/index.php/ijcai-15-paper-awards IJCAI-15 Distinguished Paper (Honorable Mention)]''' (as one of three award papers among 1996 submissions). Full proofs are found in the [[Techreport3020/en|extended technical report]].You can [http://korrekt.org/talks/2015/reasonable-query-containment-IJCAI-2015-slides.svg view the presentation] in any modern browser. It was prepared using [http://sozi.baierouge.fr/wiki/en:welcome Sozi] and [http://inkscape.org/ Inkscape]; many thanks to these projects. Inkscape]; many thanks to these projects.)
Efficient Inferencing for OWL EL + (Ths paper won the '''Best Paper Award''' of JELIA 2010!)
International Tele-Teaching – A Progress Report + (To Appear.)

A Proposal for Describing Services with DLs + (To appear)
A systematic proof theory for several modal logics + (To appear)
Description Logics with Concrete Domains and Functional Dependencies + (To appear)
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? + (To appear)
LATPub226 + (To appear)
PDL with Negation of Atomic Programs + (To appear)
Reasoning Support for Ontology Design + (To appear)
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies + (To appear)
The Logical Difference for EL: from Terminologies towards TBoxes + (To appear)

A System of Interaction and Structure + (To appear in ACM Transactions on Computational Logic. Download: PDF filewv-02-10.pdf)
A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes + (To appear.)
Inverse Roles Make Conjunctive Queries Hard + (To appear.)
Data Complexity in the EL family of DLs + (To appear.)
High Quality Data Generation: An Ontology Reasoning based Approach + (To appear.)
Semantic Annotation in Specific Domains with rich Ontologies (in French) + (To appear.)
Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers + (To appear.)
A hybrid approach for learning concept definitions from text + (To appear.)
On the Decidability of Verifying LTL Properties of Golog Programs + (To appear.)
Similarity-based Relaxed Instance Queries in EL^++ + (To appear.)
A First Order System with Finite Choice of Premises + (To appear.)
Proceedings of the First International Workshop on Uncertainty in Description Logics + (UniDL is a IJCAR collocated FLoC workshop. See http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-613/)
Terminological Knowledge Representation: A Proposal for a Terminological Logic + (Updated version, taking into account the results of a discussion at the ``International Worksop on Terminological Logics,'' Dagstuhl, May 1991.)
Formalizing Possibly Infinite Trees of Finite Degree + (Video available at: https://youtu.be/a8tbPYsLGvE)
Description Logic Rules + (Volume 8 Studies on the Semantic Web, IOS Press)
Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj + (Vortrag im Workshop for FCA Tools and Applications, ICFCA 2013.)
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics + (Winner of the EPIA 2017 Best Paper Award.)
Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + ([http://open-advice.org Open Advice] is a … [http://open-advice.org Open Advice] is a collection of 42 short essays by prominent contributors of Free Software projects, each inspired by the question “What would I have wished to know when I started?” It covers a wide range of related topics, ranging from code development, project management, and mentoring to community building, business exploitation, and legal aspects. Staying true to its title, Open Advice is freely available under a Creative Commons license.For more information and free download, see [http://open-advice.org the book's web site]. Paper copies are available from [http://www.lulu.com/product/paperback/open-advice/18865584 Lulu] at a very reasonable price.18865584 Lulu] at a very reasonable price.)
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning + (accepted)