0

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".

Joshua Taylor
  • 84,998
  • 9
  • 154
  • 353
Catty42
  • 57
  • 8

1 Answers1

0

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.

Community
  • 1
  • 1
Joshua Taylor
  • 84,998
  • 9
  • 154
  • 353
  • Thank you. I have another question: i want to create a recipe ontology for that i have 3 concepts (ingredient, recipe, utensil) for the concept ingredient i have two subclasses (dough, farce) which have subclasses like (sugar,butter,flour, etc). what to do for the class "sugar" for example which is a subclass of dough and also a subclass of farce? – Catty42 Jan 16 '16 at 15:02
  • @catty42 That design doesn't sound like it makes a lot of sense, to be honest. Sugar shouldn't be a subclass of dough, should it? A cup of sugar isn't a cup of dough, after all. When X is a subclass of Y, it means that if some individual e is an X, then e is also a Y. – Joshua Taylor Jan 16 '16 at 21:00