Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 1.

Conference or workshop publication

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) Cham International Joint Conference, RuleML+RR 2017 (London, UK) [Conference or workshop publication]

This list was created automatically on Wed Dec 1 05:05:07 2021 CET