b

DiscoverModelsSearch
About
Reasoning about exceptions in ontologies: from the lexicographic closure to the skeptical closure
2018
·
arXiv