Tractable approximate deduction for OWL.

Jeff Z. Pan Yuan Ren Yuting Zhao

Published in: Artif. Intell. (2016)

Keyphrases

exact computation
semantic web
knowledge base
np hard
theorem proving
computational complexity
special case
knowledge representation
theorem prover
rdf knowledge bases
case study
logic programming
piecewise linear
computational problems