Permalink
Browse files

cosmetic

  • Loading branch information...
1 parent 412fc65 commit 893ada4c96d98c0829cdd54d792f445cd379ceee @cmungall cmungall committed Aug 26, 2010
Showing with 97 additions and 97 deletions.
  1. +97 −97 owl2_metamodel.pl
View
@@ -133,103 +133,103 @@
:- discontiguous(relation/2,attribute/4).
-relation('Class',1).
-attribute(1,'Class','IRI',string).
-relation('Datatype',1).
-attribute(1,'Datatype','IRI',string).
-relation('ObjectProperty',1).
-attribute(1,'ObjectProperty','IRI',string).
-relation('DataProperty',1).
-attribute(1,'DataProperty','IRI',string).
-relation('AnnotationProperty',1).
-attribute(1,'AnnotationProperty','IRI',string).
-relation('NamedIndividual',1).
-attribute(1,'NamedIndividual','IRI',string).
-relation('SubClassOf',2).
-attribute(1,'SubClassOf','SubClass:ClassExpression',string).
-attribute(2,'SubClassOf','SuperClass:ClassExpression',string).
-relation('EquivalentClasses',1).
-attribute(1,'EquivalentClasses','ClassExpressions:set(ClassExpression)',string).
-relation('DisjointClasses',1).
-attribute(1,'DisjointClasses','ClassExpressions:set(ClassExpression)',string).
-relation('DisjointUnion',2).
-attribute(1,'DisjointUnion','ClassExpression',string).
-attribute(2,'DisjointUnion','ClassExpressions:set(ClassExpression)',list).
-relation('SubPropertyOf',2).
-attribute(1,'SubPropertyOf','Sub:PropertyExpression',string).
-attribute(2,'SubPropertyOf','Super:ObjectPropertyExpressions',string).
-relation('EquivalentProperties',1).
-attribute(1,'EquivalentProperties','PropertyExpressions:set(PropertyExpression)',string).
-relation('DisjointProperties',1).
-attribute(1,'DisjointProperties','PropertyExpressions:set(PropertyExpression)',string).
-relation('InverseProperties',2).
-attribute(1,'InverseProperties','ObjectPropertyExpression1:ObjectPropertyExpression',string).
-attribute(2,'InverseProperties','ObjectPropertyExpression2:ObjectPropertyExpression',string).
-relation('PropertyDomain',2).
-attribute(1,'PropertyDomain','PropertyExpression',string).
-attribute(2,'PropertyDomain','ClassExpression',string).
-relation('PropertyRange',2).
-attribute(1,'PropertyRange','PropertyExpression',string).
-attribute(2,'PropertyRange','ClassExpression',string).
-relation('FunctionalProperty',1).
-attribute(1,'FunctionalProperty','PropertyExpression',string).
-relation('InverseFunctionalProperty',1).
-attribute(1,'InverseFunctionalProperty','ObjectPropertyExpression',string).
-relation('ReflexiveProperty',1).
-attribute(1,'ReflexiveProperty','ObjectPropertyExpression',string).
-relation('IrreflexiveProperty',1).
-attribute(1,'IrreflexiveProperty','ObjectPropertyExpression',string).
-relation('SymmetricProperty',1).
-attribute(1,'SymmetricProperty','ObjectPropertyExpression',string).
-relation('AsymmetricProperty',1).
-attribute(1,'AsymmetricProperty','ObjectPropertyExpression',string).
-relation('TransitiveProperty',1).
-attribute(1,'TransitiveProperty','ObjectPropertyExpression',string).
-relation('HasKey',2).
-attribute(1,'HasKey','ClassExpression').
-attribute(2,'HasKey','PropertyExpression').
-relation('SameIndividual',1).
-attribute(1,'SameIndividual','Individuals:set(Individual)',string).
-relation('DifferentIndividuals',1).
-attribute(1,'DifferentIndividuals','Individuals:set(Individual)',string).
-relation('ClassAssertion',2).
-attribute(1,'ClassAssertion','ClassExpression',string).
-attribute(2,'ClassAssertion','Individual',string).
-relation('PropertyAssertion',3).
-attribute(1,'PropertyAssertion','PropertyExpression',string).
-attribute(2,'PropertyAssertion','SourceIndividual:Individual',string).
-attribute(3,'PropertyAssertion','TargetIndividual:Individual',string).
-relation('NegativePropertyAssertion',3).
-attribute(1,'NegativePropertyAssertion','PropertyExpression',string).
-attribute(2,'NegativePropertyAssertion','SourceIndividual:Individual',string).
-attribute(3,'NegativePropertyAssertion','TargetIndividual:Individual',string).
-relation('AnnotationAssertion',3).
-attribute(1,'AnnotationAssertion','AnnotationProperty',string).
-attribute(2,'AnnotationAssertion','AnnotationSubject',string).
-attribute(3,'AnnotationAssertion','AnnotationValue',string).
-relation('OntologyAnnotation',3).
-attribute(1,'OntologyAnnotation','Ontology',string).
-attribute(2,'OntologyAnnotation','AnnotationProperty',string).
-attribute(3,'OntologyAnnotation','AnnotationValue',string).
-relation('AxiomAnnotation',3).
-attribute(1,'AxiomAnnotation','Axiom',string).
-attribute(2,'AxiomAnnotation','AnnotationProperty',string).
-attribute(3,'AxiomAnnotation','AnnotationValue',string).
-relation('AnnotationAnnotation',3).
-attribute(1,'AnnotationAnnotation','Annotation',string).
-attribute(2,'AnnotationAnnotation','AnnotationProperty',string).
-attribute(3,'AnnotationAnnotation','AnnotationValue',string).
-relation('Ontology',1).
-attribute(1,'Ontology','IRI',string).
-relation('OntologyAxiom',2).
-attribute(1,'OntologyAxiom','Ontology',string).
-attribute(2,'OntologyAxiom','Axiom',string).
-relation('OntologyImport',2).
-attribute(1,'OntologyImport','Ontology',string).
-attribute(2,'OntologyImport','IRI',string).
-relation('OntologyVersionInfo',2).
-attribute(1,'OntologyVersionInfo','Ontology',string).
-attribute(2,'OntologyVersionInfo','IRI',string).
+relation('class',1).
+attribute(1,'class','IRI',string).
+relation('datatype',1).
+attribute(1,'datatype','IRI',string).
+relation('objectProperty',1).
+attribute(1,'objectProperty','IRI',string).
+relation('dataProperty',1).
+attribute(1,'dataProperty','IRI',string).
+relation('annotationProperty',1).
+attribute(1,'annotationProperty','IRI',string).
+relation('namedIndividual',1).
+attribute(1,'namedIndividual','IRI',string).
+relation('subClassOf',2).
+attribute(1,'subClassOf','subClass:ClassExpression',string).
+attribute(2,'subClassOf','superClass:ClassExpression',string).
+relation('equivalentClasses',1).
+attribute(1,'equivalentClasses','classExpressions:set(ClassExpression)',string).
+relation('disjointClasses',1).
+attribute(1,'disjointClasses','classExpressions:set(ClassExpression)',string).
+relation('disjointUnion',2).
+attribute(1,'disjointUnion','classExpression',string).
+attribute(2,'disjointUnion','classExpressions:set(ClassExpression)',list).
+relation('subPropertyOf',2).
+attribute(1,'subPropertyOf','sub:PropertyExpression',string).
+attribute(2,'subPropertyOf','super:ObjectPropertyExpressions',string).
+relation('equivalentProperties',1).
+attribute(1,'equivalentProperties','propertyExpressions:set(PropertyExpression)',string).
+relation('disjointProperties',1).
+attribute(1,'disjointProperties','propertyExpressions:set(PropertyExpression)',string).
+relation('inverseProperties',2).
+attribute(1,'inverseProperties','objectPropertyExpression1:ObjectPropertyExpression',string).
+attribute(2,'inverseProperties','objectPropertyExpression2:ObjectPropertyExpression',string).
+relation('propertyDomain',2).
+attribute(1,'propertyDomain','propertyExpression',string).
+attribute(2,'propertyDomain','classExpression',string).
+relation('propertyRange',2).
+attribute(1,'propertyRange','propertyExpression',string).
+attribute(2,'propertyRange','classExpression',string).
+relation('functionalProperty',1).
+attribute(1,'functionalProperty','propertyExpression',string).
+relation('inverseFunctionalProperty',1).
+attribute(1,'inverseFunctionalProperty','objectPropertyExpression',string).
+relation('reflexiveProperty',1).
+attribute(1,'reflexiveProperty','objectPropertyExpression',string).
+relation('irreflexiveProperty',1).
+attribute(1,'irreflexiveProperty','objectPropertyExpression',string).
+relation('symmetricProperty',1).
+attribute(1,'symmetricProperty','objectPropertyExpression',string).
+relation('asymmetricProperty',1).
+attribute(1,'asymmetricProperty','objectPropertyExpression',string).
+relation('transitiveProperty',1).
+attribute(1,'transitiveProperty','objectPropertyExpression',string).
+relation('hasKey',2).
+attribute(1,'hasKey','classExpression').
+attribute(2,'hasKey','propertyExpression').
+relation('sameIndividual',1).
+attribute(1,'sameIndividual','individuals:set(Individual)',string).
+relation('differentIndividuals',1).
+attribute(1,'differentIndividuals','individuals:set(Individual)',string).
+relation('classAssertion',2).
+attribute(1,'classAssertion','classExpression',string).
+attribute(2,'classAssertion','individual',string).
+relation('propertyAssertion',3).
+attribute(1,'propertyAssertion','propertyExpression',string).
+attribute(2,'propertyAssertion','sourceIndividual:Individual',string).
+attribute(3,'propertyAssertion','targetIndividual:Individual',string).
+relation('negativePropertyAssertion',3).
+attribute(1,'negativePropertyAssertion','propertyExpression',string).
+attribute(2,'negativePropertyAssertion','sourceIndividual:Individual',string).
+attribute(3,'negativePropertyAssertion','targetIndividual:Individual',string).
+relation('annotationAssertion',3).
+attribute(1,'annotationAssertion','annotationProperty',string).
+attribute(2,'annotationAssertion','annotationSubject',string).
+attribute(3,'annotationAssertion','annotationValue',string).
+relation('ontologyAnnotation',3).
+attribute(1,'ontologyAnnotation','ontology',string).
+attribute(2,'ontologyAnnotation','annotationProperty',string).
+attribute(3,'ontologyAnnotation','annotationValue',string).
+relation('axiomAnnotation',3).
+attribute(1,'axiomAnnotation','axiom',string).
+attribute(2,'axiomAnnotation','annotationProperty',string).
+attribute(3,'axiomAnnotation','annotationValue',string).
+relation('annotationAnnotation',3).
+attribute(1,'annotationAnnotation','annotation',string).
+attribute(2,'annotationAnnotation','annotationProperty',string).
+attribute(3,'annotationAnnotation','annotationValue',string).
+relation('ontology',1).
+attribute(1,'ontology','IRI',string).
+relation('ontologyAxiom',2).
+attribute(1,'ontologyAxiom','ontology',string).
+attribute(2,'ontologyAxiom','axiom',string).
+relation('ontologyImport',2).
+attribute(1,'ontologyImport','ontology',string).
+attribute(2,'ontologyImport','IRI',string).
+relation('ontologyVersionInfo',2).
+attribute(1,'ontologyVersionInfo','ontology',string).
+attribute(2,'ontologyVersionInfo','IRI',string).
/** <module>

0 comments on commit 893ada4

Please sign in to comment.