Reducing OWL Entailment to Description Logic Satisfability

Has publishing details , 2003

Has title Reducing OWL Entailment to Description Logic Satisfability

Has url http://www.informatik.uni-trier.de/~ley/db/conf/dlog/dlog2003.html#HorrocksP03

Has where published Description Logics

Has year 2003

Has author Ian Horrocks +, Peter F. Patel-Schneider +

Has identifier Reducing OWL Entailment to Description Logic Satisfability +

Categories Proceeding Paper +