Logic-Based Ranking of Assertions in Inconsistent ABoxes.

Horacio Tellez Perez Jef Wijsen

Published in: Description Logics (2020)

Keyphrases

description logics
knowledge base
knowledge representation
ranking algorithm
dl lite
classical logic
computational properties
ranking functions
reasoning tasks
web search
ontology languages