Anzahl der Einträge: 1. Konferenzveröffentlichung
Meilicke, Christian  ORCID: https://orcid.org/0000-0002-0198-5396, Ruffinelli, Daniel, Nolle, Andreas, Paulheim, Heiko ORCID: https://orcid.org/0000-0003-4386-8195 and Stuckenschmidt, Heiner ORCID: https://orcid.org/0000-0002-0209-3859
Fast ABox consistency checking using incomplete reasoning and caching.
Costantini, Stefania
Lecture Notes in Computer Science
10364
168-183
In: Rules and Reasoning : International Joint Conference : RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
(2017)
Berlin [u.a.]
International Joint Conference, RuleML+RR 2017
(London, UK)
[Konferenzveröffentlichung]
|
|
Diese Liste wurde am Wed Apr 24 01:15:28 2024 CEST automatisch erstellt. |
