Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis.

Roberto Sebastiani Michele Vescovi

Published in: CADE (2009)

Keyphrases

lightweight
description logics
knowledge base
computational properties
knowledge representation
np hard
semantic web
reasoning tasks
reasoning problems
reinforcement learning
state space
upper bound
logic programs