Suchergebnisse

{{Publikation Erster Autor …ación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos)

{{Publikation Erster Autor …o para una metodología de la verificación de los programas computacionales en ciencia de la computación

{{Publikation Erster Autor …A peer-reviewed version of this material has appeared as the [[Article4003/en|IEEE Intelligent Systems article "Description Logics"]] (please use this fo

{{Publikation Erster Autor …t=This is an extended abstract of the conference paper [[Inproceedings4006/en|Schema-Agnostic Query Rewriting in SPARQL 1.1]].

{{Publikation Erster Autor |Note=This is an extended abstract of the [[Inproceedings3318/en|full AAAI 2022 publication of the same title]].

{{Publikation Erster Autor …the usefulness of our method by applying it to the OntoClean methodology. En passant, we address performance problems arising from the inconsistency dia

{{Publikation Erster Autor |Note=This is the Chinese translation of [[Book2014/en|Foundations of Semantic Web Technologies]]. This has been made possible thr

{{Publikation Erster Autor …ain publication on Semantic MediaWiki is the journal article [[Article1551/en|Semantic Wikipedia]].

{{Publikation Erster Autor …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

{{Publikation Erster Autor |Note=Please cite this paper as [[Article4003/en|Description Logics (IEEE Intelligent Systems)]].

{{Publikation Erster Autor …ng 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]].

{{Publikation Erster Autor …te=This is a condensed version of the conference paper [[Inproceedings4025/en|A Better Uncle For OWL:Nominal Schemas for Integrating Rules and Ontologies

{{Publikation Erster Autor …the usefulness of our method by applying it to the OntoClean methodology. En passant, we address performance problems arising from the inconsistency dia

{{Publikation Erster Autor …significantly improved and extended version of this work is [[Article4007/en|Complexities of Horn Description Logics ]].

{{Publikation Erster Autor …y version of the ELK Reasoner. The main reference for ELK is [[Article4004/en|The Incredible ELK]]. Please use this in citations.

{{Publikation Erster Autor |Note=This is the extended technical report for the [[Inproceedings3015/en|eponymous IJCAI paper]]. Please refer to the latter for citations.

{{Publikation Erster Autor …s paper is the extended journal version of the article [[Inproceedings3100/en|On the Semantic Relationship between Datalog and Description Logics]].

{{Publikation Erster Autor …ts about the results published in the conference paper [[Inproceedings4008/en|Computing Stable Models for Nonmonotonic Existential Rules]]. Please refer

{{Publikation Erster Autor …nical report provides additional details for the paper [[Inproceedings3149/en|Extending Decidable Existential Rules by Joining Acyclicity and Guardedness

{{Publikation Erster Autor …ers among 1996 submissions). Full proofs are found in the [[Techreport3020/en|extended technical report]].