•owl:Thing |
•Tools |
•Editor |
•OilEd |
Editor |
hasDeveloper SOME SeanBechhofer |
edits SOME (Ontology AND (hasExpressivity SOME OWL-DL)) |
Class(OilEd partial Editor restriction(hasDeveloper someValuesFrom(SeanBechhofer)) restriction(edits someValuesFrom(intersectionOf(Ontology restriction(hasExpressivity someValuesFrom(OWL-DL))))))