Skip to content

Added Axioms from Sec4

andreweells requested to merge addingAxioms into main

Axioms as Manchester:

  1. p:propName some owl:Thing SubClassOf ex:Sub
  2. wdt:propName some owl:Thing SubClassOf ex:Sub
  3. owl:Thing SubClassOf ps:propName only ex:Obj
  4. owl:Thing SubClassOf wdt:propName only ex:Obj
  5. p:propName some (ps:propName some ex:Obj) SubClassOf ex:Sub
  6. wdt:propName some ex:Obj SubClassOf ex:Sub
  7. ex:Sub SubClassOf wdt:propName only ex:Obj
  8. owl:Thing SubClassOf p:propName max 1 owl:Thing
  9. owl:Thing SubClassOf wdt:propName max 1 owl:Thing
  10. owl:Thing SubClassOf inverse ps:propName max 1 owl:Thing
  11. owl:Thing SubClassOf inverse wdt:propName max 1 owl:Thing
  12. ex:Sub SubClassOf p:propName max 1 owl:Thing
  13. ex:Sub SubClassOf wdt:propName max 1 owl:Thing
  14. owl:Thing SubClassOf p:propName max 1 owl:Thing
  15. owl:Thing SubClassOf wdt:propName max 1 ex:Obj
  16. owl:Thing SubClassOf ps:propName max 1 ex:Obj
  17. ex:Sub SubClassOf p:propName max 1 owl:Thing
  18. ex:Sub SubClassOf wdt:propName max 1 ex:Sub
  19. ex:Sub SubClassOf ps:propName max 1 ex:Obj
  20. ex:Obj SubClassOf inverse ps:propName max 1 owl:Thing
  21. ex:Obj SubClassOf inverse wdt:propName max 1 ex:Sub
  22. wb:Statement SubClassOf inverse p:propName max 1 ex:Sub
  23. ex:Sub SubClassOf p:propName some owl:Thing
  24. ex:Sub SubClassOf wdt:propName some ex:Obj
  25. ex:Obj SubClassOf ps:propName some owl:Thing
  26. ex:Obj SubClassOf wdt:propName some ex:Sub

Merge request reports