DBLP:journals/ws/HorrocksP04 + redirect page
Reducing OWL entailment to description logic satisfiability + Has identifier
| Reducing OWL entailment to description logic satisfiability |
Has publishing details
1(4):345-357, 2004
Has title
Reducing OWL entailment to description logic satisfiability
Has url
http://www.informatik.uni-trier.de/~ley/db/journals/ws/ws1.html#HorrocksP04
Has where published
J. Web Sem.
Has year
2004
Has author
Ian Horrocks +, Peter F. Patel-Schneider +
Has identifier
Reducing OWL entailment to description logic satisfiability +
Categories Journal Paper +
|
