Difference between revisions of "Axiom names"

From Ontohub
Jump to: navigation, search
(more OWL examples)
(OWL: other syntaxes)
 
Line 4: Line 4:
 
  . axiom %(axiom_label)%
 
  . axiom %(axiom_label)%
 
==OWL==
 
==OWL==
In OWL Manchester syntax, axioms can be labeled using an rdfs:label annotation:
+
In OWL, axioms can be annotated with labels, using an rdfs:label annotation. Protégé has an editing facility for this. These labels will be stored together with the ontology in any syntax.
 +
 
 +
For example, in OWL Manchester syntax, this looks as follws:
 
   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 OWL file] [https://ontohub.org/appliedontologyontohubpaper/scenario.omn another sample OWL file] [https://ontohub.org/appliedontologyontohubpaper/competencyQuestion.dol sample DOL 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]

Latest revision as of 14:50, 7 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, axioms can be annotated with labels, using an rdfs:label annotation. Protégé has an editing facility for this. These labels will be stored together with the ontology in any syntax.

For example, in OWL Manchester syntax, this looks as follws:

 Class: Woman SubClassOf: Annotations: rdfs:label "WomanSubClassOfPerson" Person

see also some example OWL file another sample OWL file sample DOL file