Get Grouping Axioms For More Coherent Ontology Descriptions - Aclweb

The Protégé Axiom Language provides a way to make arbitrary assertions about groups of concepts.

Axioms are an important compo- nent of ontologies to describe the relationships among the concepts. The current research on ontology mapping and on- tology translation mainly focuses on how to map and trans- late the vocabularies and associated data instances from one ontology to another.

One of the main features of ontologies is that, by having the essential relationships between concepts built into them, they enable automated reasoning about data. Such reasoning is easy to implement in semantic graph databases that use ontologies as their semantic schemata.

In metaphysics, ontology is the philosophical study of being. It investigates what types of entities exist, how they are grouped into categories, and how they are related to one another on the most fundamental level (and whether there even is a fundamental level).

In the OWL DL abstract syntax a class axiom contains a collection of descriptions, which can be more-general classes, restrictions, sets of individuals, and boolean combinations of descriptions. Classes can also be specified by enumeration or be made equivalent or disjoint.

These ontological approaches of knowing, perceiving and interpreting the world are generally lumped into four distinct categories: realism, empiricism, positivism and post-modernism. Realism concerns itself with the notion that there are universal truths and facts which can be discovered through active exploration.

The formalization of Knowledge in ontologies is based on five components: classes, instances, relations, functions, axi- oms and instances [1].

Commonly proposed categories include substances, properties, relations, states of affairs, and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity.