| •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))))))