Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Inconsistency-Tolerant Instance Checking in Tractable Description Logics - MaRDI portal

Inconsistency-Tolerant Instance Checking in Tractable Description Logics

From MaRDI portal

Publication:5086209

Jump to:navigation, search

DOI10.1007/978-3-319-61252-2_15zbMath1490.68220OpenAlexW2625992316MaRDI QIDQ5086209

Rafael Peñaloza

Publication date: 1 July 2022

Published in: Rules and Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10281/233839

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

Understanding the complexity of axiom pinpointing in lightweight description logics

This page was built for publication: Inconsistency-Tolerant Instance Checking in Tractable Description Logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5086209&oldid=19589137"