Search for Author All Reviews
	Sattler, Uli     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews       OWL reasoning: subsumption test hardness and modularity Matentzoglu N., Parsia B., Sattler U. Journal of Automated Reasoning 60(4): 385-419, 2018.  Type: Article This paper is aimed at web ontology language (OWL) authors and tool developers. These people know that SROIQ(D), the logic that underpins OWL, has a high worst-case complexity (N2Exptime), and that this shows up in s...... Oct 16 2018
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy