Suchergebnisse

…ing. It is a peer-reviewed version of the material in the [[Techreport4003/en|Description Logic Primer]], and might thus be preferable for citations. In |DOI Name=10.1109/MIS.2013.123

…ain publication on Semantic MediaWiki is the journal article [[Article1551/en|Semantic Wikipedia]]. …s of contents, it has been superseded by the journal article [[Article1551/en|Semantic Wikipedia]].

|Note=The main reference on ELK is [[Article4004/en|The Incredible ELK]]. |DOI Name=10.1007/978-3-642-25073-6_20

|Note=Please cite this paper as [[Article4003/en|Description Logics (IEEE Intelligent Systems)]]. |DOI=http://arxiv.org/abs/1201.4089

|Note=Please refer to the more comprehensive journal paper [[Article4008/en|Type-elimination-based Reasoning for the Description Logic SHIQbs using Dec |DOI Name=10.1007/978-3-540-88564-1_28

…te=This is a condensed version of the conference paper [[Inproceedings4025/en|A Better Uncle For OWL:Nominal Schemas for Integrating Rules and Ontologies |DOI=http://ceur-ws.org/Vol-745/paper_39.pdf

…the usefulness of our method by applying it to the OntoClean methodology. En passant, we address performance problems arising from the inconsistency dia |DOI Name=10.1007/978-3-642-17746-0_17

…y version of the ELK Reasoner. The main reference for ELK is [[Article4004/en|The Incredible ELK]]. Please use this in citations. |DOI=http://ceur-ws.org/Vol-745/paper_54.pdf

…s paper is the extended journal version of the article [[Inproceedings3100/en|On the Semantic Relationship between Datalog and Description Logics]]. |DOI Name=10.3233/SW-130126

…ts about the results published in the conference paper [[Inproceedings4008/en|Computing Stable Models for Nonmonotonic Existential Rules]]. Please refer |DOI=http://ceur-ws.org/Vol-1014/paper_35.pdf

|Abstract=The two-volume set [[Proceedings3009/en|LNCS 9981]] and 9982 constitutes the refereed proceedings of the 15th Inter |DOI Name=10.1007/978-3-319-46547-0

|Abstract=The two-volume set LNCS 9981 and [[Proceedings3010/en|9982]] constitutes the refereed proceedings of the 15th International Seman |DOI Name=10.1007/978-3-319-46523-4

|Note=An extended version of this work is the journal article [[Article3010/en|A Closer Look at the Semantic Relationship between Datalog and Description |DOI Name=10.1007/978-3-642-15918-3_8

|FurtherAuthors=Carsten Lutz; Eldar Karabaev; Manfred Theißen |DOI Name=

|DOI Name= address = {Aix-en-Provence, France},

|FurtherAuthors=Jens Claßen |DOI Name=

|FurtherAuthors=Carsten Lutz; Eldar Karabaev; Manfred Theißen |DOI Name=

|FurtherAuthors=Carsten Lutz; Eldar Karabaev; Manfred Theißen |DOI Name=

|FurtherAuthors=Jens Claßen |DOI Name=

|Note=This work is completely subsumed by the journal article [[Article4005/en|Acyclicity Notions for Existential Rules and Their Application to Query Ans |DOI=http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4490