Difference between revisions of "Axiom names"
From Ontohub
(started page) |
(more OWL examples) |
||
| Line 6: | Line 6: | ||
In OWL Manchester syntax, axioms can be labeled using an rdfs:label annotation: | In OWL Manchester syntax, axioms can be labeled using an rdfs:label annotation: | ||
Class: Woman SubClassOf: Annotations: rdfs:label "WomanSubClassOfPerson" Person | Class: Woman SubClassOf: Annotations: rdfs:label "WomanSubClassOfPerson" Person | ||
| − | see also [https://ontohub.org/appliedontologyontohubpaper/familyRelations.omn some example file] | + | see also [https://ontohub.org/appliedontologyontohubpaper/familyRelations.omn some example OWL file] [https://ontohub.org/appliedontologyontohubpaper/scenario.omn another sample OWL file] [https://ontohub.org/appliedontologyontohubpaper/competencyQuestion.dol sample DOL file] |
Revision as of 20:08, 4 May 2017
It is useful to label axioms and conjectures with self-explanatory names. This pays off especially when using a theorem prover with Hets or Ontohub, because then these names can be used to quickly select both axioms and conjectures (proof goals).
DOL
In DOL, axiom labels are written as follows:
. axiom %(axiom_label)%
OWL
In OWL Manchester syntax, axioms can be labeled using an rdfs:label annotation:
Class: Woman SubClassOf: Annotations: rdfs:label "WomanSubClassOfPerson" Person
see also some example OWL file another sample OWL file sample DOL file
