Semantisches Browsen
Aus International Center for Computational Logic
EL is a simple tractable Description Logic … EL is a simple tractable Description Logic that features conjunctions and existential restrictions. Due to its favorable computational properties and relevance to existing ontologies, EL has become the language of choice for terminological reasoning in biomedical applications, and has formed the basis of the OWL EL profile of the Web ontology language OWL. This paper describes ELK—a high performance reasoner for OWL EL ontologies—and details various aspects from theory to implementation that make ELK one of the most competitive reasoning systems for EL ontologies available today.systems for EL ontologies available today. +
@article{KKS2014,
author = {Yevgeny Kazakov and Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek
Siman{\v{c}}{\'{\i}}k},
title = {The Incredible {ELK:} From Polynomial Procedures to Efficient
Reasoning with {$\mathcal{EL}$} Ontologies},
journal = {J. Autom. Reasoning},
volume = {53},
number = {1},
publisher = {Springer},
year = {2014},
pages = {1-61},
doi = {10.1007/s10817-013-9296-3}
}
author = {Yevgeny Kazakov and Markus Kr{\"{o}}tzsch and Franti{\v{s}}ek
Siman{\v{c}}{\'{\i}}k},
title = {The Incredible {ELK:} From Polynomial Procedures to Efficient
Reasoning with {$\mathcal{EL}$} Ontologies},
journal = {J. Autom. Reasoning},
volume = {53},
number = {1},
publisher = {Springer},
year = {2014},
pages = {1-61},
doi = {10.1007/s10817-013-9296-3}
}
Kazakov +
Yevgeny +
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. +
Yevgeny Kazakov, Markus Krötzsch, Františe … Yevgeny Kazakov, Markus Krötzsch, František Simančík<br/> '''[[Article4004|The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies]]''' <br/>__NOTOC__J. Autom. Reasoning, 53(1):1-61, 2014<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article4004|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:Incredible-elk-jar-2013.pdf|Download]]edible-elk-jar-2013.pdf|Download]] +
Yevgeny Kazakov, Markus Krötzsch, Františe … Yevgeny Kazakov, Markus Krötzsch, František Simančík<br/> '''[[Article4004/en|The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies]]''' <br/>__NOTOC__J. Autom. Reasoning, 53(1):1-61, 2014<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article4004|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:Incredible-elk-jar-2013.pdf|Download]]edible-elk-jar-2013.pdf|Download]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies +
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
3. September 2020, 17:37:11 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies +, The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies +, The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies +, The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies +, The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies +, The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies + und The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies +
