Searching for "On Subsumption and Instance Problem in ELH w.r.t. General TBoxes." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On Subsumption and Instance Problem in
by General Tboxes Sebastian, Sebastian Brandt — 2004 — In Proc. of DL 2004.http://ceur-ws.org/Vol-104
…On Subsumption and Instance Problem in ELH w.r.t. General TBoxes Sebastian Brandt ∗ Institut für…
Add To MetaCart

Also electronically available as CEUR Publication at
by Volker Haarslev, Ralf Möller, Volker Haarslev, Ralf Möller, Carlos Areces, Diego Calvanese, Enrico Franconi, Volker Haarslev, Ian Horrocks, Ralf Küsters, Carsten Lutz, Deborah L. Mcguinness, Ralf Möller, Peter Patel-schneider — 2004
… in ELH w.r.t. General TBoxes................................. 21 Implementation Techniques 1 Ian Horrocks…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB