Efficient Axiom Pinpointing in EL using SAT Technology.

Norbert Manthey Rafael Peñaloza Sebastian Rudolph

Published in: Description Logics (2016)

Keyphrases

cost effective
rapid development
search algorithm
description logics
computationally efficient
satisfiability problem
inference rules
real time
data sets
databases
genetic algorithm
case study
information technology
e government
data processing
computationally expensive