Difference between revisions of "Base Metrics"

From OntoMetrics
Jump to: navigation, search
(Object property)
(Annotation Axioms)
 
(37 intermediate revisions by the same user not shown)
Line 1: Line 1:
Base Metrics comprise of simple metrics, like the counting of classes, axioms, objects etc.
+
Base Metrics comprise of simple metrics, like the counting of classes, axioms, objects etc. These metrics show the quantity of ontology elements.
So it shows the quantity of ontology elements.
+
For these Metrics we chose:
+
==Axiom==
+
Axioms, regarding OntoMetrics, are relations between classes, it could descibe cardinality, value range or default-values of relations and attributes.
+
It is also able to describe characteristics of relations like symmetry or transitivity.  
+
  
==Logical axiom ==
+
The difference between the count metrics and the total count metrics is, that the total count metrics takes account of imports from other ontologies.
These special kind of axioms are universally valid.
+
  
==Class==
+
For the base metrics we chose:
Classes in ontologies are concepts. These classes can contain other classes or individuals.
+
In OWL there a generally a Thing-Class, which is a universal class. So every user defined class is a SubClass of the Thing-Class
+
  
With this metric we count the classes, including the thing-class, to create a view on the quantity of classes.
+
==Class Axioms==
 +
===Axiom===
 +
Axioms are basic statements of an ontology and also the main component, they state what is true in a domain.
 +
It is possible to have axioms for classes, properties, datatype definitions, assertions and annotations.
  
===Total class===
+
===Logical Axiom===
 +
Axioms which affect the logical meaning of an ontology are called Logical Axiom.
  
==Individuals==
+
===Class===
 +
Classes in ontologies are concepts, these classes can contain other classes or individuals. In other words, a class is a set of individuals.
 +
In OWL exists a thing-class, which is a universal class, so every user defined class is a subclass of the thing-class.
 +
The corresponding metric count the classes, including the thing-class, to create a view on the quantity of classes.
  
Individuals are the instances of the classes. This metric counts these instances, one class could have a set of instances.
 
 
===Total Individual===
 
  
 +
More information on the metric page for [[Class_Axioms|Class Axioms]].
  
 
==Property==
 
==Property==
Line 31: Line 28:
 
[[Object_Property_Axioms|Object properties]] link individuals to individuals.
 
[[Object_Property_Axioms|Object properties]] link individuals to individuals.
  
====Total Object property====
+
===Data property===
 +
Other than the Object properties the [[Data_Property_Axioms|Data properties]] link individuals to data values (literals).
 +
 
 +
==Individual Axioms==
  
===Data property count===
+
===Individuals===
Other then the Object properties the Data properties link individuals to data values
+
Individuals are the instances of the classes, so they represent the actual object of the domain.
 +
There are two types of individuals: named- and anonymous individuals.
 +
Named individuals have an explicit name and can be used in every ontology for the same object, while anonymous individuals are used local, only in one ontology.
 +
This metric counts all instances, one class is able to have a set of instances.
  
====Total data property====
+
More details on page [[Individual_Axioms|Individual Axioms]].
  
 +
==Annotation Axioms==
 +
===Annotation===
 +
An OWL ontology contains a set of annotations. These can be used to associate information with an ontology — for example the ontology creator's name.
 +
Each annotation consists of an annotation property and an annotation value, and the latter can be a literal, an IRI, or an anonymous individual.
  
 +
For more see [[Annotation_Axioms|Annotation Axioms]].
  
 +
==DL expressivity==
 +
Description logics (DL) is a family of formal knowledge representation languages. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain (known as terminological knowledge). The Web Ontology Language [OWL] and its profile is based on DLs. The DL expressivity gets the human readable name of this metric.
  
 
==Sources==
 
==Sources==
#''http://www.enzyklopaedie-der-wirtschaftsinformatik.de/lexikon/daten-wissen/Wissensmanagement/Wissensmodellierung/Wissensreprasentation/Semantisches-Netz/Ontologien''
+
#''https://www.w3.org/TR/owl2-syntax/#Axioms''
#''https://www.w3.org/TR/owl-ref/''
+
#''http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/model/OWLLogicalAxiom.html''
 +
#''https://www.w3.org/TR/owl-ref/#Class''
 +
#''https://www.w3.org/TR/owl2-syntax/#Classes''
 +
#''https://www.w3.org/TR/owl2-syntax/#Individuals''
 +
#''https://www.w3.org/TR/owl-ref/#Property''
 +
#''https://www.w3.org/TR/owl2-syntax/#Annotations''
 +
#''http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/metrics/DLExpressivity.html''
 +
#''https://en.wikipedia.org/wiki/Description_logic''

Latest revision as of 13:16, 11 September 2016

Base Metrics comprise of simple metrics, like the counting of classes, axioms, objects etc. These metrics show the quantity of ontology elements.

The difference between the count metrics and the total count metrics is, that the total count metrics takes account of imports from other ontologies.

For the base metrics we chose:

Class Axioms

Axiom

Axioms are basic statements of an ontology and also the main component, they state what is true in a domain. It is possible to have axioms for classes, properties, datatype definitions, assertions and annotations.

Logical Axiom

Axioms which affect the logical meaning of an ontology are called Logical Axiom.

Class

Classes in ontologies are concepts, these classes can contain other classes or individuals. In other words, a class is a set of individuals. In OWL exists a thing-class, which is a universal class, so every user defined class is a subclass of the thing-class. The corresponding metric count the classes, including the thing-class, to create a view on the quantity of classes.


More information on the metric page for Class Axioms.

Property

In OWL there are two types of properties:

Object property

Object properties link individuals to individuals.

Data property

Other than the Object properties the Data properties link individuals to data values (literals).

Individual Axioms

Individuals

Individuals are the instances of the classes, so they represent the actual object of the domain. There are two types of individuals: named- and anonymous individuals. Named individuals have an explicit name and can be used in every ontology for the same object, while anonymous individuals are used local, only in one ontology. This metric counts all instances, one class is able to have a set of instances.

More details on page Individual Axioms.

Annotation Axioms

Annotation

An OWL ontology contains a set of annotations. These can be used to associate information with an ontology — for example the ontology creator's name. Each annotation consists of an annotation property and an annotation value, and the latter can be a literal, an IRI, or an anonymous individual.

For more see Annotation Axioms.

DL expressivity

Description logics (DL) is a family of formal knowledge representation languages. DLs are used in artificial intelligence to describe and reason about the relevant concepts of an application domain (known as terminological knowledge). The Web Ontology Language [OWL] and its profile is based on DLs. The DL expressivity gets the human readable name of this metric.

Sources

  1. https://www.w3.org/TR/owl2-syntax/#Axioms
  2. http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/model/OWLLogicalAxiom.html
  3. https://www.w3.org/TR/owl-ref/#Class
  4. https://www.w3.org/TR/owl2-syntax/#Classes
  5. https://www.w3.org/TR/owl2-syntax/#Individuals
  6. https://www.w3.org/TR/owl-ref/#Property
  7. https://www.w3.org/TR/owl2-syntax/#Annotations
  8. http://owlapi.sourceforge.net/javadoc/org/semanticweb/owlapi/metrics/DLExpressivity.html
  9. https://en.wikipedia.org/wiki/Description_logic