APE icon indicating copy to clipboard operation
APE copied to clipboard

Published 20 hours ago • verified publisher icon Attempto

Support more forms of toplevel DRS disjunction in DRS->OWL

Open Kaljurand opened this issue 12 years ago • 0 comments

If each argument of the disjunction maps to OWL SubClassOf-axiom then they can be merged into a single SubClassOf-axiom and thus represented in OWL. See more in http://answers.semanticweb.com/questions/22864/expressing-axiom-disjunction-in-owl

Kaljurand avatar Jun 03 '13 09:06 Kaljurand