DBLP:conf/aisc/HorrocksP98 + redirect page
Optimising Propositional Modal Satisfiability for Description Logic Subsumption + Has identifier
| Optimising Propositional Modal Satisfiability for Description Logic Subsumption |
Has publishing details
pp. 234-246, 1998
Has title
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
Has url
http://www.informatik.uni-trier.de/~ley/db/conf/aisc/aisc1998.html#HorrocksP98
Has where published
AISC
Has year
1998
Has author
Ian Horrocks +, Peter F. Patel-Schneider +
Has identifier
Optimising Propositional Modal Satisfiability for Description Logic Subsumption +
Categories Proceeding Paper +
|
