Search code examples
semantic-webowlontologyprotege

the relation "is composed of" with protégé

I want to create an ontology describing a process with Protégé. I have a concept "process" connected with 5 other concepts (process tasks) by the relationship "is_composed_of". How to express this in Protégé. Do I create an ObjectProperties and I specify the domain and range in this case I will have 5 relationship "is_composed_of".

Solution

  • Is each instance of Process must be related to 5 instances of ProcessTask by the object property isComposedOf, then you'd use an axiom like:

        Process ⊑ = 5 isComposedOf.ProcessTask

    In the Manchester syntax, which is what you'd use in Protege, you'd go the Process class and add the following as a superclass:

        isComposedOf exactly 5 ProcessTask

    For more about quantified cardinality restrictions, see Meaning of OWL exact cardinality restrictions. Defining cardinality of data property in OWL include another example.