Sciweavers

DLOG
2008
14 years 2 months ago
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...
Franz Baader, Novak Novakovik, Boontawee Suntisriv...