Quando importiamo un assioma in cui è coinvolta una class expression di tipo ObjectSomeValuesFrom in cui il filler è owl:Thing si può evitare di disegnare il filler, ovvero owl:Thing. Lo stesso vale per DataSomeValuesFrom quando il filler è rdfs:Literal.
Motivation
Rendere più pulito il diagramma ed evitare ridondanze.
Example Use Cases
Nei casi di class expression con filler owl:Thing (o rdfs:Literal) si può sottintendere ed evitare di inserire nel diagramma.
Description
Quando importiamo un assioma in cui è coinvolta una class expression di tipo ObjectSomeValuesFrom in cui il filler è owl:Thing si può evitare di disegnare il filler, ovvero owl:Thing. Lo stesso vale per DataSomeValuesFrom quando il filler è rdfs:Literal.
Motivation
Rendere più pulito il diagramma ed evitare ridondanze.
Example Use Cases
Nei casi di class expression con filler owl:Thing (o rdfs:Literal) si può sottintendere ed evitare di inserire nel diagramma.