Anzahl der Einträge: 1.
Meilicke, Christian  ORCID: 0000-0002-0198-5396 ; Ruffinelli, Daniel ; Nolle, Andreas ; Paulheim, Heiko ORCID: 0000-0003-4386-8195 ; Stuckenschmidt, Heiner ORCID: 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 Thu Nov 21 01:20:02 2024 CET automatisch erstellt. |
