prova_atomic_concepts.owl

Prefix(:=<http://www.semanticweb.org/gpepp/ontologies/2022/3/untitled-ontology-16#>)
Prefix(owl:=<http://www.w3.org/2002/07/owl#>)
Prefix(rdf:=<http://www.w3.org/1999/02/22-rdf-syntax-ns#>)
Prefix(xml:=<http://www.w3.org/XML/1998/namespace>)
Prefix(xsd:=<http://www.w3.org/2001/XMLSchema#>)
Prefix(rdfs:=<http://www.w3.org/2000/01/rdf-schema#>)


Ontology(<http://www.semanticweb.org/gpepp/ontologies/2022/3/untitled-ontology-16>

Declaration(Class(:A))
Declaration(Class(:B))
Declaration(Class(:C))
Declaration(Class(:K))
Declaration(Class(:P))
Declaration(ObjectProperty(:R))

############################
#   Classes
############################

# Class: :A (:A)

EquivalentClasses(:A ObjectSomeValuesFrom(:R ObjectIntersectionOf(:B ObjectUnionOf(:A ObjectComplementOf(:A)))))

# Class: :C (:C)

EquivalentClasses(:C ObjectIntersectionOf(ObjectUnionOf(:A :B) ObjectUnionOf(:A ObjectUnionOf(:B ObjectComplementOf(:B))) ObjectUnionOf(ObjectComplementOf(:A) ObjectComplementOf(:B)) ObjectComplementOf(:A)))

# Class: :K (:K)

EquivalentClasses(:K ObjectIntersectionOf(ObjectUnionOf(:B :K) ObjectComplementOf(:A)))

# Class: :P (:P)

EquivalentClasses(:P ObjectUnionOf(ObjectIntersectionOf(ObjectUnionOf(ObjectComplementOf(:A) ObjectComplementOf(:B)) ObjectAllValuesFrom(:R :A)) ObjectSomeValuesFrom(:R :B)))


)