search

sky-legal / sky-legal-standard

MIT License
0 stars 0 forks source link

Ontology Design #3

Open ZzzZdqqqqqx opened 3 days ago

ZzzZdqqqqqx commented 3 days ago

Writing steps

ZzzZdqqqqqx commented 3 days ago

Thing └── RecipePlan ├── RecipeInstructions │ ├── PreparationStep │ └── CookingStep ├── NutritionalInfo └── Equipment ├── Utensil └── Appliance

Object Properties

hasInstructions: Domain = RecipePlan, Range = RecipeInstructions. hasNutritionalInfo: Domain = RecipePlan, Range = NutritionalInfo. requiresEquipment: Domain = RecipePlan, Range = Equipment. hasStep: Domain = RecipeInstructions, Range = PreparationStep or CookingStep. Data Properties:

hasCalories: Domain = NutritionalInfo, Range = xsd:integer. hasProteins: Domain = NutritionalInfo, Range = xsd:float.

Axioms / Description Logic Syntax First

Add logical constraints and relationships to ensure consistency and structure:

RecipePlan must have at least one set of instructions:

RecipePlan ⊑ ∃hasInstructions.RecipeInstructions