http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#MaleStudentWith3Daughters
Instances of koala.owl:MaleStudentWith3Daughters can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|
@prefix : <http://protege.stanford.edu/plugins/owl/owl-library/koala.owl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:MaleStudentWith3Daughters a owl:Class ;
owl:equivalentClass [ a owl:Class ;
owl:intersectionOf ( :Student [ a owl:Restriction ;
owl:hasValue :male ;
owl:onProperty :hasGender ] [ a owl:Restriction ;
owl:cardinality "3"^^xsd:int ;
owl:onProperty :hasChildren ] [ a owl:Restriction ;
owl:allValuesFrom :Female ;
owl:onProperty :hasChildren ] ) ] .