CiteSeer.IST Home   Multiple matching documents

Document: Details   Optimising Description Logic Subsumption (1999) Ian Horrocks, Peter F. Patel-Schneider

Document: Details   Optimising Propositional Modal Satisfiability for Description Logic Subsumption (1998) Ian Horrocks, Peter F. Patel-Schneider

Citation: Context   Horrocks, I. and P. F. Patel-Schneider: 1998c, `Optimising Propositional Modal Satisability for Description Logic Subsumption'. In: International Conference AISC'98.

CiteSeer.IST - Copyright Penn State and NEC