Ontology Describing terminological and ontological Knowledge resources
type: Ontology
prior version: 0.1.2
prior version: 1.0
language: English
creator: ISI Team, Nizar Ghoula
rights: ISI Team, University of Geneva, 2009
publisher: ISI Team, www.cui.unige.ch/isi
comment: This is a new version of our Ontology, we have changed the way of representing resources, we are focusing on the fact that a resource may have different models of representations and then we have added a new class called TOK_Model that plays the role of classifying the resources, so we consider everything as a resource and the way to classify them is when thay use a certain model to be represented. We have then amodels representing ontological resources, others representing terminological resources, etc. Somehow we are just applying the main idea about our approach to ensure the openness of our ontology or global model to all kinds of resources.

aligned to
type: ObjectProperty
comment: this property describes the alignment between two TOK resources
pl: aligned_to
sg: alignes_to
vbg: aligned_to
sub property of: associated with

aligns
type: ObjectProperty
sg: alignses
pl: aligns
vbg: alignsed

annotates
type: ObjectProperty
pl: annotates
vbg: annotatesed
sg: annotateses

applied to
type: ObjectProperty
sg: applieds_to
pl: applied_to
vbg: applieded_to

associated with
type: ObjectProperty
comment: this property describes the association between two TOK resources, for example the association between two corpus.
vbg: associateded_with
pl: associated_with
sg: associateds_with

collection of
type: ObjectProperty
type: TransitiveProperty
comment: a corpus is a collection of documents
sg: collection_ofs
vbg: collection_ofed
pl: collection_of

Axiom
acetext: If X collection_ofs something that collection_ofs Y then X collection_ofs Y.
annotated source: collection of
annotated property: type
annotated target: TransitiveProperty

comment
type: ObjectProperty
sg: comments
vbg: commented
pl: comment

constants
type: ObjectProperty
sg: constantses
pl: constants
vbg: constantsed

contained in
type: ObjectProperty
type: TransitiveProperty
comment: a document may be contained in a corpus
vbg: containeded_in
sg: containeds_in
pl: contained_in

Axiom
acetext: If X containeds_in something that containeds_in Y then X containeds_in Y.
annotated source: contained in
annotated property: type
annotated target: TransitiveProperty

contains
type: ObjectProperty
pl: contains
sg: containses
vbg: containsed

defined by
type: ObjectProperty
pl: defined_by
sg: defined_bies
vbg: defined_bied

defines relation
type: ObjectProperty
vbg: defines_relationed
pl: defines_relation
sg: defines_relations

depends on
type: ObjectProperty
sg: dependses_on
pl: depends_on
vbg: dependsed_on

descibes
type: ObjectProperty
vbg: descibesed
sg: descibeses
pl: descibes

developed by
type: ObjectProperty
pl: developed_by
sg: developed_bies
vbg: developed_bied

developped from
type: ObjectProperty
pl: developped_from
sg: developpeds_from
vbg: developpeded_from

devided to
type: ObjectProperty
pl: devided_to
vbg: devideded_to
sg: devideds_to

entry of
type: ObjectProperty
vbg: entry_ofed
pl: entry_of
sg: entry_ofs

evolutes in
type: ObjectProperty
sg: evoluteses_in
pl: evolutes_in
vbg: evolutesed_in

generalization of
type: ObjectProperty
comment: this property describes the relation of generalization between two types of TOK resources.
sg: generalization_ofs
pl: generalization_of
vbg: generalization_ofed
sub property of: aligned to

Axiom
acetext: If X generalization_ofs Y then X aligneds_to Y.
annotated target: aligned to
annotated source: generalization of
annotated property: subPropertyOf

generated on
type: ObjectProperty
sg: generateds_on
pl: generated_on
vbg: generateded_on

has Indicator
type: ObjectProperty
pl: has_Indicator
vbg: has_Indicatored
sg: has_Indicators

has PointOfView
type: ObjectProperty
pl: has_PointOfView
vbg: has_PointOfViewed
sg: has_PointOfViews

has abstract
type: ObjectProperty
pl: has_abstract
sg: has_abstracts
vbg: has_abstracted

has align
type: ObjectProperty
comment: this iproperty is a link between a TOK resource and its alignment.
sg: has_aligns
pl: has_align
vbg: has_aligned
inverse of: has align source
inverse of: has align target

Axiom
acetext: If X has_aligns Y then Y has_align_targets X. If X has_align_targets Y then Y has_aligns X.
annotated source: has align
annotated target: has align target
annotated property: inverseOf

Axiom
acetext: If X has_aligns Y then Y has_align_sources X. If X has_align_sources Y then Y has_aligns X.
annotated source: has align
annotated target: has align source
annotated property: inverseOf

has align source
type: ObjectProperty
comment: this is a description of the TOK resource that has the alignment
sg: has_align_sources
pl: has_align_source
vbg: has_align_sourced

Axiom
acetext: If X has_aligns Y then Y has_align_sources X. If X has_align_sources Y then Y has_aligns X.
annotated source: has align
annotated target: has align source
annotated property: inverseOf

has align target
type: ObjectProperty
comment: this is the description of the traget of the alignment.
sg: has_align_targets
vbg: has_align_targeted
pl: has_align_target

Axiom
acetext: If X has_aligns Y then Y has_align_targets X. If X has_align_targets Y then Y has_aligns X.
annotated source: has align
annotated target: has align target
annotated property: inverseOf

has annotation
type: ObjectProperty
comment: this is a relation between a document and its annotation
vbg: has_annotationed
sg: has_annotations
pl: has_annotation

has axiom
type: ObjectProperty
pl: has_axiom
sg: has_axioms
vbg: has_axiomed
sub property of: has entity

Axiom
acetext: If X has_axioms Y then X has_entities Y.
annotated source: has axiom
annotated target: has entity
annotated property: subPropertyOf

has class
type: ObjectProperty
sg: has_classes
pl: has_class
vbg: has_classed
sub property of: has entity

Axiom
acetext: If X has_classes Y then X has_entities Y.
annotated source: has class
annotated target: has entity
annotated property: subPropertyOf

has collection
type: ObjectProperty
vbg: has_collectioned
sg: has_collections
pl: has_collection
sub property of: has entity

Axiom
acetext: If X has_collections Y then X has_entities Y.
annotated source: has collection
annotated target: has entity
annotated property: subPropertyOf

has content
type: ObjectProperty
sg: has_contents
vbg: has_contented
pl: has_content

has context
type: ObjectProperty
sg: has_contexts
vbg: has_contexted
pl: has_context

has definition
type: ObjectProperty
vbg: has_definitioned
pl: has_definition
sg: has_definitions

has documentation
type: ObjectProperty
sg: has_documentations
pl: has_documentation
vbg: has_documentationed

has domain
type: ObjectProperty
sg: has_domains
vbg: has_domained
pl: has_domain

has entity
type: ObjectProperty
vbg: has_entitied
sg: has_entity
pl: has_entities

has equivalent lang
type: ObjectProperty
pl: has_equivalent_lang
vbg: has_equivalent_langed
sg: has_equivalent_langs

has formalism
type: ObjectProperty
comment: this is a property that describes that each TOk resource has a formalism of representation.
sg: has_formalisms
pl: has_formalism
vbg: has_formalismed

has index
type: ObjectProperty
vbg: has_indexed
sg: has_indexes
pl: has_index

has individual
type: ObjectProperty
sg: has_individuals
pl: has_individual
vbg: has_individualed
sub property of: has entity

Axiom
acetext: If X has_individuals Y then X has_entities Y.
annotated target: has entity
annotated source: has individual
annotated property: subPropertyOf

has_language
type: ObjectProperty
type: FunctionalProperty
comment: This Role describes the language of a TOK Resource
sg: has_languages
pl: has_language
vbg: has_languaged

Axiom
acetext: Everything has_languages at most 1 thing.
annotated source: has_language
annotated property: type
annotated target: FunctionalProperty

has_lexicalForm
type: ObjectProperty
pl: has_lexicalForm
sg: has_lexicalForms
vbg: has_lexicalFormed

has_model
type: ObjectProperty

has part
type: ObjectProperty
comment: this property describes the relation between a document and its parts.
vbg: has_parted
sg: has_parts
pl: has_part

has point of view
type: ObjectProperty
vbg: has_point_of_viewed
pl: has_point_of_view
sg: has_point_of_views

has property
type: ObjectProperty
pl: has_property
vbg: has_propertied
sg: has_properties
sub property of: has entity

Axiom
acetext: If X has_properties Y then X has_entities Y.
annotated target: has entity
annotated source: has property
annotated property: subPropertyOf

has range
type: ObjectProperty
sg: has_ranges
vbg: has_ranged
pl: has_range

has register
type: ObjectProperty
comment: this role descibrs the relation between a corpus and the register of language it may have.
pl: has_register
vbg: has_registered
sg: has_registers

has rep language
type: ObjectProperty
pl: has_rep_language
vbg: has_rep_languaged
sg: has_rep_languages

has restriction
type: ObjectProperty
vbg: has_restrictioned
sg: has_restrictions
pl: has_restriction
sub property of: has entity

Axiom
acetext: If X has_restrictions Y then X has_entities Y.
annotated target: has entity
annotated source: has restriction
annotated property: subPropertyOf

has rule
type: ObjectProperty
vbg: has_ruled
pl: has_rule
sg: has_rules
sub property of: has entity

Axiom
acetext: If X has_rules Y then X has_entities Y.
annotated target: has entity
annotated source: has rule
annotated property: subPropertyOf

has scope
type: ObjectProperty
vbg: has_scoped
pl: has_scope
sg: has_scopes

has structure
type: ObjectProperty
comment: a document has a specific structure described by the concept Document_Structure
sg: has_structures
pl: has_structure
vbg: has_structured

has subClass
type: ObjectProperty
vbg: has_subClassed
pl: has_subClass
sg: has_subClasses

has superClass
type: ObjectProperty
vbg: has_superClassed
pl: has_superClass
sg: has_superClasses

has syntax
type: ObjectProperty
pl: has_syntax
sg: has_syntaxes
vbg: has_syntaxed

has term
type: ObjectProperty
sg: has_terms
pl: has_term
vbg: has_termed

has timeCover
type: ObjectProperty
comment: this property decribes the relation between a corpus and the time it may cover.
sg: has_timeCovers
vbg: has_timeCovered
pl: has_timeCover

hierarchy of
type: ObjectProperty
vbg: hierarchy_ofed
sg: hierarchy_ofs
pl: hierarchy_of

in
type: ObjectProperty
sg: ins
pl: in
vbg: ined

index
type: ObjectProperty
pl: index
vbg: indexed
sg: indexes

indicates
type: ObjectProperty
pl: indicates
vbg: indicatesed
sg: indicateses

indicatorOf
type: ObjectProperty
vbg: indicatorOfed
sg: indicatorOfs
pl: indicatorOf

inverse of
type: ObjectProperty
vbg: inverse_ofed
sg: inverse_ofs
pl: inverse_of

isSubDomainOf
type: ObjectProperty
pl: isSubdomainOf
sg: isSubdomainOfs
vbg: isSubdomainOfed

label
type: ObjectProperty
vbg: labelled
pl: label
sg: labels

linked by
type: ObjectProperty
pl: linked_by
vbg: linked_bied
sg: linked_bies

linked to
type: ObjectProperty
pl: linked_to
sg: linkeds_to
vbg: linkeded_to

links between
type: ObjectProperty
pl: links_between
vbg: linksed_between
sg: linkses_between

o align with
type: ObjectProperty
type: AsymmetricProperty
comment: it describes the ontology alignment or matching between two ontologies.
sg: o_aligns_with
pl: o_align_with
vbg: o_aligned_with
sub property of: aligned to

Axiom
acetext: If X o_aligns_with Y then X aligneds_to Y.
annotated target: aligned to
annotated source: o align with
annotated property: subPropertyOf

Axiom
acetext: If X o_aligns_with Y then it is false that Y o_aligns_with X.
annotated source: o align with
annotated property: type
annotated target: AsymmetricProperty

object
type: ObjectProperty
vbg: objected
pl: object
sg: objects

out
type: ObjectProperty
sg: outs
vbg: outed
pl: out

predicate
type: ObjectProperty
pl: predicate
sg: predicates
vbg: predicated

provided by
type: ObjectProperty
comment: this relation describes the fact that TOK resources may be provided or generated or built by a person or a tool.
sg: provided_bies
pl: provided_by
vbg: provided_bied
range: Person
range: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.

Axiom
acetext: Everything that is provided_bied by something is a TOK_Tool.
annotated target: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.
annotated source: provided by
annotated property: range

Axiom
acetext: Everything that is provided_bied by something is a Person.
annotated target: Person
annotated source: provided by
annotated property: range

referred to
type: ObjectProperty
comment: a document structure refers to a document model as a collection of a models of documents in specific formats
sg: referreds_to
vbg: referreded_to
pl: referred_to

related to
type: ObjectProperty
comment: this property describes the relation between a TOK resource and its Topic or the subject that it may treat
pl: related_to
sg: relateds_to
vbg: relateded_to
property disjoint with: used for

Axiom
acetext: If X relateds_to Y then it is false that X useds_for Y.
annotated source: related to
annotated target: used for
annotated property: propertyDisjointWith

relative format
type: ObjectProperty
comment: a structure of a document has a file format corresponding to it
pl: relative_format
vbg: relative_formated
sg: relative_formats

represented in
type: ObjectProperty
comment: this is a property describing the relation between an Alignment source and its format.
vbg: representeded_in
sg: representeds_in
pl: represented_in

restriction of
type: ObjectProperty
vbg: restriction_ofed
pl: restriction_of
sg: restriction_ofs

sequence of
type: ObjectProperty
sg: sequence_ofs
pl: sequence_of
vbg: sequence_ofed

set as
type: ObjectProperty
pl: set_as
vbg: set_as
sg: sets_as

set of
type: ObjectProperty
sg: set_ofs
pl: set_of
vbg: set_ofed

source language
type: ObjectProperty
pl: source_language
vbg: source_languaged
sg: source_languages

speaks about
type: ObjectProperty
comment: a document speaks about a topic
pl: speaks_about
sg: speakses_about
vbg: speaksed_about

specification_of
type: ObjectProperty
sg: specification_ofs
pl: specification_of
vbg: specification_ofed
sub property of: aligned to

Axiom
acetext: If X specification_of Y then X aligneds_to Y.
annotated target: aligned to
annotated source: specification_of
annotated property: subPropertyOf

structured by
type: ObjectProperty
sg: structured_bies
vbg: structured_bied
pl: structured_by

subject
type: ObjectProperty
vbg: subjected
pl: subject
sg: subjects

target language
type: ObjectProperty
sg: target_languages
pl: target_language
vbg: target_languaged

translation of
type: ObjectProperty
comment: this property describes the translation of a TOK resource
sg: translation_ofs
pl: translation_of
vbg: translation_ofed
sub property of: aligned to

Axiom
acetext: If X translation_ofs Y then X aligneds_to Y.
annotated target: aligned to
annotated source: translation of
annotated property: subPropertyOf

treated by
type: ObjectProperty
comment: this relation is an abstraction of the treatment of TOK resources using different TOK tools in many fields in order to perform a task using TOK resources on other resources like ontology driven annotation, or using TOK resources on TOK resources like resoning and chek consistency.
vbg: treated_bied
pl: treated_by
sg: treated_bies

use imports
type: ObjectProperty
vbg: use_importsed
pl: use_imports
sg: use_importses

used for
type: ObjectProperty
comment: this property describes the relation between a TOK resource and the task or the usage it may be pertinent for.
vbg: useded_for
sg: useds_for
pl: used_for

Axiom
acetext: If X relateds_to Y then it is false that X useds_for Y.
annotated source: related to
annotated target: used for
annotated property: propertyDisjointWith

uses
type: ObjectProperty
pl: uses
sg: useses
vbg: usesed

uses_algorithm
type: ObjectProperty
sg: uses_algorithms
vbg: uses_algorithmed
pl: uses_algorithm

value
type: ObjectProperty
vbg: valued
pl: value
sg: values

word language
type: ObjectProperty
vbg: word_languaged
sg: word_languages
pl: word_language

confidence_measure
type: DatatypeProperty
pl: confidence_measure
vbg: confidence_measured
sg: confidence_measures

hasURI
type: DatatypeProperty
comment: The URI of the ontology which is described by this metadata
sg: hasURIs
pl: hasURI
vbg: hasURIed

has_Name
type: DatatypeProperty
comment: The name by which this element is formally known.
sg: has_Names
pl: has_Name
vbg: has_Named

has acronym
type: DatatypeProperty
sg: has_acronyms
pl: has_acronym
vbg: has_acronymed

has_axiomnumber
type: DatatypeProperty
pl: has_axiomnumber
vbg: has_axiomnumbered
sg: has_axiomnumbers
sub property of: has_entitynumber

Axiom
acetext: /*[SubDataProperty(has_axiomnumber has_entitynumber)]*/
annotated source: has_axiomnumber
annotated target: has_entitynumber
annotated property: subPropertyOf

has cardinality
type: DatatypeProperty
sg: has_cardinalities
vbg: has_cardinalitied
pl: has_cardinality

has_conceptnumber
type: DatatypeProperty
vbg: has_conceptnumbered
pl: has_conceptnumber
sg: has_conceptnumbers
sub property of: has_entitynumber

Axiom
acetext: /*[SubDataProperty(has_conceptnumber has_entitynumber)]*/
annotated source: has_conceptnumber
annotated target: has_entitynumber
annotated property: subPropertyOf

has_correspondancesnumber
type: DatatypeProperty
vbg: has_correspondancesnumbered
pl: has_correspondancesnumber
sg: has_correspondancesnumbers
sub property of: has_entitynumber

Axiom
acetext: /*[SubDataProperty(has_correspondancesnumber has_entitynumber)]*/
annotated source: has_correspondancesnumber
annotated target: has_entitynumber
annotated property: subPropertyOf

has creation date
type: DatatypeProperty
sg: has_creation_dates
pl: has_creation_date
vbg: has_creation_dated

has description
type: DatatypeProperty
sg: has_descriptions
vbg: has_descriptioned
pl: has_description

has_entitynumber
type: DatatypeProperty
vbg: has_entitynumbered
pl: has_entitynumber
sg: has_entitynumbers

has_formnumber
type: DatatypeProperty
vbg: has_formnumbered
pl: has_formnumber
sg: has_formnumbers
sub property of: has_entitynumber

Axiom
acetext: /*[SubDataProperty(has_formnumber has_entitynumber)]*/
annotated target: has_entitynumber
annotated source: has_formnumber
annotated property: subPropertyOf

has_keywords
type: DatatypeProperty
comment: List of keywords related to a TOK_Resource. Typically this set includes words that describe the content of the Resource
vbg: has_keywordsed
sg: has_keywordses
pl: has_keywords

has_location
type: DatatypeProperty
comment: The location where the TOK_Resource can be found. It should be accessible via a URL
vbg: has_locationed
pl: has_location
sg: has_locations

has_propertynumber
type: DatatypeProperty
sg: has_propertynumbers
vbg: has_propertynumbered
pl: has_propertynumber
sub property of: has_entitynumber

Axiom
acetext: /*[SubDataProperty(has_propertynumber has_entitynumber)]*/
annotated target: has_entitynumber
annotated source: has_propertynumber
annotated property: subPropertyOf

has_sentencenumber
type: DatatypeProperty
pl: has_sentencenumber
vbg: has_sentencenumbered
sg: has_sentencenumbers
sub property of: has_entitynumber

Axiom
acetext: /*[SubDataProperty(has_sentencenumber has_entitynumber)]*/
annotated target: has_entitynumber
annotated source: has_sentencenumber
annotated property: subPropertyOf

has size
type: DatatypeProperty
vbg: has_sized
pl: has_size
sg: has_sizes

has_termnumber
type: DatatypeProperty
sg: has_termnumbers
pl: has_termnumber
vbg: has_termnumbered
sub property of: has_entitynumber

Axiom
acetext: /*[SubDataProperty(has_termnumber has_entitynumber)]*/
annotated target: has_entitynumber
annotated source: has_termnumber
annotated property: subPropertyOf

has title
type: DatatypeProperty
pl: has_title
vbg: has_titled
sg: has_titles

Abreviation
type: Class
subclass of: Lexical_Form
pl: Abreviations
sg: Abreviation

Axiom
acetext: Every Abreviation is a Word_Gp.
annotated source: Abreviation
annotated target: Lexical_Form
annotated property: subClassOf

Abstract
type: Class
subclass of: Doc Part
pl: Abstracts
sg: Abstract

Axiom
acetext: Every Abstract is a Doc_Part.
annotated source: Abstract
annotated target: Doc Part
annotated property: subClassOf

Abstract Entities
type: Class
subclass of: Thing
subclass of: Restriction
  on property: collection of
  all values from: Lemma Id
subclass of: Restriction
  on property: has description
  all values from: string
sg: Abstract_Entities
pl: Abstract_Entitieses

Axiom
acetext: /*[SubClassOf(Abstract_Entities DataAllValuesFrom(has_description string))]*/
annotated source: Abstract Entities
annotated property: subClassOf
annotated target: Restriction
  on property: has description
  all values from: string

Axiom
acetext: Everything that is collection_ofed by an Abstract_Entities is a Lemma_Id.
annotated source: Abstract Entities
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  all values from: Lemma Id

Axiom
acetext: Every Abstract_Entities is something.
annotated source: Abstract Entities
annotated property: subClassOf
annotated target: Thing

Abstract_Onto
type: Class
subclass of: Ontology
sg: Abstract_Onto
pl: Abstract_Ontoes

Axiom
acetext: Every Abstract_Onto is an Ontology.
annotated source: Abstract_Onto
annotated target: Ontology
annotated property: subClassOf

Algorithm
type: Class
subclass of: Method
sg: Algorithm
pl: Algorithms

Axiom
acetext: Every Algorithm is a Method.
annotated source: Algorithm
annotated target: Method
annotated property: subClassOf

Align
type: Class
subclass of: Enrich_Oper

Alignment
type: Class
subclass of: Task_Operation
subclass of: Restriction
  on property: confidence_measure
  all values from: float
comment: it may be also described as Matching, this class is an abstraction of the task of tracking and saving correspondances between items or concepts of a resource in order to use it for further tasks. the goal of matching is to establish links between semantically similar data items in information repositories. In contrast to the previous task, matching does not include the production of a shared final schema/ontology as a result of aggregating the matched source elements to common elements. W.r.t. the automatization level the range varies from manual to fully-automatical execution.
pl: Alignments
sg: Alignment

Axiom
acetext: Every Alignment is a Task.
annotated source: Alignment
annotated target: Task_Operation
annotated property: subClassOf

Axiom
acetext: /*[SubClassOf(Alignment DataAllValuesFrom(confidence_measure float))]*/
annotated source: Alignment
annotated property: subClassOf
annotated target: Restriction
  on property: confidence_measure
  all values from: float

Alignment Resource
type: Class
subclass of: Enrichment_Resource
subclass of: Restriction
  on property: has align source
  all values from: TOK_Resource
subclass of: Restriction
  on property: aligns
  on class: TOK_Resource
  min qualified cardinality: 2
subclass of: Restriction
  on property: generated on
  all values from: Alignment
subclass of: Restriction
  on property: has align target
  all values from: TOK_Resource
comment: this class is an abstraction of the alignment that may exist between two TOK resources.
sg: Alignment_Resource
pl: Alignment_Resources

Axiom
acetext: Everything that is has_align_sourced by an Alignment_Resource is a TOK_Resource.
annotated source: Alignment Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has align source
  all values from: TOK_Resource

Axiom
acetext: Everything that is generateded_on by an Alignment_Resource is an Alignment.
annotated source: Alignment Resource
annotated property: subClassOf
annotated target: Restriction
  on property: generated on
  all values from: Alignment

Axiom
acetext: Every Alignment_Resource is an Enrichment_Resource.
annotated source: Alignment Resource
annotated target: Enrichment_Resource
annotated property: subClassOf

Axiom
acetext: Everything that is has_align_targeted by an Alignment_Resource is a TOK_Resource.
annotated source: Alignment Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has align target
  all values from: TOK_Resource

Alignmnet_Entity
type: Class
subclass of: TOK Entity
sg: Alignmnet_Entity
pl: Alignmnet_Entities

Axiom
acetext: Every Alignmnet_Entity is a TOK_Entity.
annotated source: Alignmnet_Entity
annotated target: TOK Entity
annotated property: subClassOf

Annot
type: Class
subclass of: Enrich_Oper

Annotated_resource
type: Class
subclass of: Complex_Resource

Annotation
type: Class
subclass of: Task_Operation
comment: This is an abstraction of the process of annotating resources using reference to ontologies or domain concepts. the ontology is used as a controlled vocabulary to annotate Semantic Web resources. This task includes the usage of a semantically rich ontology for representing arbitrarily complex annotation statements on these resources. The task can be performed manually or (semi-)automatically.
sg: Annotation
pl: Annotations

Axiom
acetext: Every Annotation is a Task.
annotated source: Annotation
annotated target: Task_Operation
annotated property: subClassOf

Annotation Resource
type: Class
subclass of: Enrichment_Resource
subclass of: Restriction
  on property: annotates
  all values from: TOK_Resource
subclass of: Restriction
  on property: generated on
  all values from: Annotation
pl: Annotation_Resources
sg: Annotation_Resource

Axiom
acetext: Everything that is annotates by an Annotation_Resource is a TOK_Resource.
annotated source: Annotation Resource
annotated property: subClassOf
annotated target: Restriction
  on property: annotates
  all values from: TOK_Resource

Axiom
acetext: Every Annotation_Resource is an Enrichment_Resource.
annotated source: Annotation Resource
annotated target: Enrichment_Resource
annotated property: subClassOf

Axiom
acetext: Everything that is generateded_on by an Annotation_Resource is an Annotation.
annotated source: Annotation Resource
annotated property: subClassOf
annotated target: Restriction
  on property: generated on
  all values from: Annotation

Association Rel
type: Class
subclass of: Thesauri relation
sg: Association_Rel
pl: Association_Rels

Axiom
acetext: Every Association_Rel is a Thesauri_relation.
annotated source: Association Rel
annotated target: Thesauri relation
annotated property: subClassOf

Autonomous_Resource
type: Class
subclass of: TOK_Resource
sg: Autonomous_Resource
pl: Autonomous_Resources

Axiom
acetext: Every Autonomous_Resource is a TOK_Resource.
annotated source: Autonomous_Resource
annotated target: TOK_Resource
annotated property: subClassOf

Bitext
type: Class
subclass of: TOK_Conent_Model
pl: Bitexts
sg: Bitext

Axiom
acetext: Every Bitext is a Tok_Model.
annotated source: Bitext
annotated target: TOK_Conent_Model
annotated property: subClassOf

Broder Term
type: Class
subclass of: More_General
subclass of: Restriction
  on property: inverse of
  all values from: Narrower Term
sg: Broder_Term
pl: Broder_Terms

Axiom
acetext: Every Broder_Term is a More_General.
annotated source: Broder Term
annotated target: More_General
annotated property: subClassOf

Axiom
acetext: Everything that is inverse_ofed by a Broder_Term is a Narrower_Term.
annotated source: Broder Term
annotated property: subClassOf
annotated target: Restriction
  on property: inverse of
  all values from: Narrower Term

C_Align
type: Class
subclass of: TOK_Conent_Model
pl: C_Aligns
sg: C_Align

Axiom
acetext: Every C_Align is a Tok_Model.
annotated source: C_Align
annotated target: TOK_Conent_Model
annotated property: subClassOf

C_Hierarchy
type: Class
subclass of: TOK_Conent_Model
pl: C_Hierarchies
sg: C_Hierarchy

Axiom
acetext: Every C_Hierarchy is a Tok_Model.
annotated source: C_Hierarchy
annotated target: TOK_Conent_Model
annotated property: subClassOf

Chain
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: has term
  on class: Term
  min qualified cardinality: 2
subclass of: Restriction
  on property: sequence of
  all values from: Term
subclass of: Restriction
  on property: descibes
  all values from: Concept
sg: Chain
pl: Chains

Axiom
acetext: Everything that is sequence_ofed by a Chain is a Term.
annotated source: Chain
annotated property: subClassOf
annotated target: Restriction
  on property: sequence of
  all values from: Term

Axiom
acetext: Everything that is descibesed by a Chain is a Concept.
annotated source: Chain
annotated property: subClassOf
annotated target: Restriction
  on property: descibes
  all values from: Concept

Axiom
acetext: Every Chain is a TOK_Entity.
annotated source: Chain
annotated target: TOK Entity
annotated property: subClassOf

Axiom
acetext: Every Chain has_terms at least 2 Terms.
annotated source: Chain
annotated property: subClassOf
annotated target: Restriction
  on property: has term
  on class: Term
  min qualified cardinality: 2

Class Axiom
type: Class
subclass of: Onto Axiom
sg: Class_Axiom
pl: Class_Axioms

Axiom
acetext: Every Class_Axiom is an Onto_Axiom.
annotated source: Class Axiom
annotated target: Onto Axiom
annotated property: subClassOf

Classic Logic
type: Class
subclass of: Logical Approach
sg: Classic_Logic
pl: Classic_Logics

Axiom
acetext: Every Classic_Logic is a Logical_Approach.
annotated source: Classic Logic
annotated target: Logical Approach
annotated property: subClassOf

Classification
type: Class
subclass of: Task_Operation
comment: this task is performed in order to classify resources using ontologies, thesauri and other TOK resources.
pl: Classifications
sg: Classification

Axiom
acetext: Every Classification is a Task.
annotated source: Classification
annotated target: Task_Operation
annotated property: subClassOf

Comparable Corpus Alignment
type: Class
subclass of: Alignment Resource
sg: Comparable_Corpora
pl: Comparable_Corporas

Comparable_corpus
type: Class
subclass of: Complex_Resource

Complex_Resource
type: Class
subclass of: Autonomous_Resource

Component
type: Class
subclass of: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.
pl: Components
sg: Component

Axiom
acetext: Every Component is a TOK_Tool.
annotated source: Component
annotated target: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.
annotated property: subClassOf

Compose
type: Class
subclass of: Enrich_Oper

Composition Rule
type: Class
subclass of: Abstract Entities
sg: Composition_Rule
pl: Composition_Rules

Axiom
acetext: Every Composition_Rule is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Composition Rule
annotated property: subClassOf

Compound Word
type: Class
subclass of: Lexical_Form
subclass of: Restriction
  on property: depends on
  all values from: Composition Rule
pl: Compound_Words
sg: Compound_Word

Axiom
acetext: Every Compound_Word is a Word_Gp.
annotated source: Compound Word
annotated target: Lexical_Form
annotated property: subClassOf

Axiom
acetext: Everything that is dependsed_on by a Compound_Word is a Composition_Rule.
annotated source: Compound Word
annotated property: subClassOf
annotated target: Restriction
  on property: depends on
  all values from: Composition Rule

Concept
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: has context
  some values from: Context
subclass of: Restriction
  on property: has term
  some values from: Term
subclass of: Restriction
  on property: descibes
  all values from: Class
    union of: Domain
    union of: Topic
sg: Concept
pl: Concepts
comment: a type of topic which models the concept represented by a collection of synonymous terms in a thesaurus.

Axiom
acetext: Every Concept has_contexts a Context.
annotated source: Concept
annotated property: subClassOf
annotated target: Restriction
  on property: has context
  some values from: Context

Axiom
acetext: Every Concept has_terms a Term.
annotated source: Concept
annotated property: subClassOf
annotated target: Restriction
  on property: has term
  some values from: Term

Axiom
acetext: Everything that is descibesed by a Concept is something that is a Domain or that is a Topic.
annotated source: Concept
annotated property: subClassOf
annotated target: Restriction
  on property: descibes
  all values from: Class
    union of: Domain
    union of: Topic

Axiom
acetext: Every Concept is a TOK_Entity.
annotated source: Concept
annotated target: TOK Entity
annotated property: subClassOf

Conceptual Graph
type: Class
subclass of: Non Logical Approach
pl: Conceptual_Graphs
sg: Conceptual_Graph

Axiom
acetext: Every Conceptual_Graph is a Non_Logical_Approach.
annotated source: Conceptual Graph
annotated target: Non Logical Approach
annotated property: subClassOf

Connexional Context
type: Class
subclass of: Context
sg: Connexional_Context
pl: Connexional_Contexts

Axiom
acetext: Every Connexional_Context is a Context.
annotated source: Connexional Context
annotated target: Context
annotated property: subClassOf

Content
type: Class
subclass of: Doc Part
sg: Content
pl: Contents

Axiom
acetext: Every Content is a Doc_Part.
annotated source: Content
annotated target: Doc Part
annotated property: subClassOf

Context
type: Class
subclass of: Abstract Entities
sg: Context
pl: Contexts

Axiom
acetext: Every Context is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Context
annotated property: subClassOf

Continuous Multi Word Expression
type: Class
subclass of: Lexical_Form
sg: Continuous_Multi_Word_Expression
pl: Continuous_Multi_Word_Expressions

Axiom
acetext: Every Continuous_Multi_Word_Expression is a Lexical_Form.
annotated source: Continuous Multi Word Expression
annotated target: Lexical_Form
annotated property: subClassOf

Controlled_Indexing
type: Class
subclass of: Indexing
pl: Controlled_Indexings
sg: Controlled_Indexing

Axiom
acetext: Every Controlled_Indexing is an Indexing.
annotated source: Controlled_Indexing
annotated target: Indexing
annotated property: subClassOf

Corpus
type: Class
subclass of: Autonomous_Resource
subclass of: Restriction
  on property: has timeCover
  all values from: Time_Cover
subclass of: Restriction
  on property: has register
  all values from: Language_Register
subclass of: Restriction
  on property: has size
  all values from: int
subclass of: Restriction
  on property: collection of
  all values from: TOK_Resource
subclass of: Restriction
  on property: collection of
  all values from: Document
comment: this class is a description of the concept corpus which is a terminological resource
sg: Corpora
pl: Corporas

Axiom
acetext: Everything that is collection_ofed by a Corpus is a Document.
annotated source: Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  all values from: Document

Axiom
acetext: /*[SubClassOf(Corpus DataAllValuesFrom(has_size int))]*/
annotated source: Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has size
  all values from: int

Axiom
acetext: Everything that is has_registered by a Corpus is a Language_Register.
annotated source: Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has register
  all values from: Language_Register

Axiom
acetext: Everything that is has_timeCovered by a Corpus is a Time_Cover.
annotated source: Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has timeCover
  all values from: Time_Cover

Axiom
acetext: Everything that is collection_ofed by a Corpus is a TOK_Resource.
annotated source: Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  all values from: TOK_Resource

Correction
type: Class
subclass of: Task_Operation
comment: In order to drive tasks of NLP, thers may be usage of some TOK resources in order to correct syntactical errors or to make desambiguation, and other tasks.
pl: Corrections
sg: Correction

Axiom
acetext: Every Correction is a Task.
annotated source: Correction
annotated target: Task_Operation
annotated property: subClassOf

Correspondence
type: Class
subclass of: Alignmnet_Entity
pl: Correspondences
sg: Correspondence

Axiom
acetext: Every Correspondence is an Alignmnet_Entity.
annotated target: Alignmnet_Entity
annotated source: Correspondence
annotated property: subClassOf

DL
type: Class
subclass of: TOK_Conent_Model
pl: DLs
sg: DL

Axiom
acetext: Every DL is a Tok_Model.
annotated source: DL
annotated target: TOK_Conent_Model
annotated property: subClassOf

DataType Property
type: Class
subclass of: Onto Property
sg: DataType_Property
pl: DataType_Properties

Axiom
acetext: Every DataType_Property is an Onto_Property.
annotated source: DataType Property
annotated target: Onto Property
annotated property: subClassOf

Database Scheme
type: Class
subclass of: Non Logical Approach
pl: Database_Schemes
sg: Database_Scheme

Axiom
acetext: Every Database_Scheme is a Non_Logical_Approach.
annotated source: Database Scheme
annotated target: Non Logical Approach
annotated property: subClassOf

Declaration
type: Class
subclass of: Onto Axiom
sg: Declaration
pl: Declarations

Axiom
acetext: Every Declaration is an Onto_Axiom.
annotated source: Declaration
annotated target: Onto Axiom
annotated property: subClassOf

Defined Concept
type: Class
subclass of: Concept
subclass of: Restriction
  on property: defined by
  all values from: Onto Axiom
disjoint with: Primitive Concept
sg: Defined_Concept
pl: Defined_Concepts

Axiom
acetext: Everything that is defined_bied by a Defined_Concept is an Onto_Axiom.
annotated source: Defined Concept
annotated property: subClassOf
annotated target: Restriction
  on property: defined by
  all values from: Onto Axiom

Axiom
acetext: No Defined_Concept is a Primitif_Concept.
annotated source: Defined Concept
annotated target: Primitive Concept
annotated property: disjointWith

Axiom
acetext: Every Defined_Concept is a Concept.
annotated target: Concept
annotated source: Defined Concept
annotated property: subClassOf

Definition
type: Class
subclass of: Abstract Entities
subclass of: Restriction
  on property: has context
  on class: Context
  qualified cardinality: 1
sg: Definition
pl: Definitions

Axiom
acetext: Every Definition has_contexts exactly 1 Context.
annotated source: Definition
annotated property: subClassOf
annotated target: Restriction
  on property: has context
  on class: Context
  qualified cardinality: 1

Derived Word
type: Class
subclass of: Lexical_Form
subclass of: Restriction
  on property: depends on
  all values from: Composition Rule
sg: Derived_Word
pl: Derived_Words

Axiom
acetext: Everything that is dependsed_on by a Derived_Word is a Composition_Rule.
annotated source: Derived Word
annotated property: subClassOf
annotated target: Restriction
  on property: depends on
  all values from: Composition Rule

Axiom
acetext: Every Derived_Word is a Word_Gp.
annotated source: Derived Word
annotated target: Lexical_Form
annotated property: subClassOf

Description Logic
type: Class
subclass of: Logical Approach
pl: Description_Logics
sg: Description_Logic

Axiom
acetext: Every Description_Logic is a Logical_Approach.
annotated source: Description Logic
annotated target: Logical Approach
annotated property: subClassOf

Discontinuous Word
type: Class
subclass of: Lexical_Form
pl: Discontinuous_Words
sg: Discontinuous_Word

Axiom
acetext: Every Discontinuous_Word is a Word_Gp.
annotated source: Discontinuous Word
annotated target: Lexical_Form
annotated property: subClassOf

Disjoint Classes
type: Class
subclass of: Class Axiom
sg: Disjoint_Classes
pl: Disjoint_Classeses

Axiom
acetext: Every Disjoint_Classes is a Class_Axiom.
annotated target: Class Axiom
annotated source: Disjoint Classes
annotated property: subClassOf

Disjoint Union
type: Class
subclass of: Class Axiom
pl: Disjoint_Unions
sg: Disjoint_Union

Axiom
acetext: Every Disjoint_Union is a Class_Axiom.
annotated target: Class Axiom
annotated source: Disjoint Union
annotated property: subClassOf

Doc Model
type: Class
subclass of: TOK_Conent_Model
subclass of: Restriction
  on property: represented in
  all values from: Formalism
sg: Doc_Model
pl: Doc_Models

Axiom
acetext: Everything that is representeded_in by a Doc_Model is a Formalism.
annotated source: Doc Model
annotated property: subClassOf
annotated target: Restriction
  on property: represented in
  all values from: Formalism

Axiom
acetext: Every Doc_Model is a Tok_Model.
annotated source: Doc Model
annotated target: TOK_Conent_Model
annotated property: subClassOf

Doc Part
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: speaks about
  all values from: Topic
subclass of: Restriction
  on property: contained in
  all values from: Document
subclass of: Restriction
  on property: has annotation
  all values from: Annotation Resource
pl: Doc_Parts
sg: Doc_Part

Axiom
acetext: Everything that is containeded_in by a Doc_Part is a Document.
annotated source: Doc Part
annotated property: subClassOf
annotated target: Restriction
  on property: contained in
  all values from: Document

Axiom
acetext: Every Doc_Part is a TOK_Entity.
annotated source: Doc Part
annotated target: TOK Entity
annotated property: subClassOf

Axiom
acetext: Everything that is speaksed_about by a Doc_Part is a Topic.
annotated source: Doc Part
annotated property: subClassOf
annotated target: Restriction
  on property: speaks about
  all values from: Topic

Axiom
acetext: Everything that is has_annotationed by a Doc_Part is an Annotation_Resource.
annotated source: Doc Part
annotated property: subClassOf
annotated target: Restriction
  on property: has annotation
  all values from: Annotation Resource

Doc Structure
type: Class
subclass of: Thing
subclass of: Restriction
  on property: relative format
  all values from: File Format
subclass of: Restriction
  on property: referred to
  all values from: Doc Model
sg: Doc_Structure
pl: Doc_Structures

Axiom
acetext: Every Doc_Structure is something.
annotated source: Doc Structure
annotated property: subClassOf
annotated target: Thing

Axiom
acetext: Everything that is relative_formated by a Doc_Structure is a File_Format.
annotated source: Doc Structure
annotated property: subClassOf
annotated target: Restriction
  on property: relative format
  all values from: File Format

Axiom
acetext: Everything that is referreded_to by a Doc_Structure is a Doc_Model.
annotated source: Doc Structure
annotated property: subClassOf
annotated target: Restriction
  on property: referred to
  all values from: Doc Model

Document
type: Class
subclass of: Autonomous_Resource
subclass of: Restriction
  on property: has structure
  all values from: Doc Structure
subclass of: Restriction
  on property: has index
  all values from: Term
subclass of: Restriction
  on property: has part
  all values from: Doc Part
subclass of: Restriction
  on property: has content
  all values from: Content
subclass of: Restriction
  on property: speaks about
  all values from: Class
    union of: Domain
    union of: Topic
pl: Documents
sg: Document

Axiom
acetext: Everything that is has_contented by a Document is a Content.
annotated source: Document
annotated property: subClassOf
annotated target: Restriction
  on property: has content
  all values from: Content

Axiom
acetext: Everything that is has_parted by a Document is a Doc_Part.
annotated source: Document
annotated property: subClassOf
annotated target: Restriction
  on property: has part
  all values from: Doc Part

Axiom
acetext: Everything that is has_indexed by a Document is a Term.
annotated source: Document
annotated property: subClassOf
annotated target: Restriction
  on property: has index
  all values from: Term

Axiom
acetext: Everything that is speaksed_about by a Document is something that is a Domain or that is a Topic.
annotated source: Document
annotated property: subClassOf
annotated target: Restriction
  on property: speaks about
  all values from: Class
    union of: Domain
    union of: Topic

Axiom
acetext: Everything that is has_structured by a Document is a Doc_Structure.
annotated source: Document
annotated property: subClassOf
annotated target: Restriction
  on property: has structure
  all values from: Doc Structure

Domain
type: Class
subclass of: Abstract Entities
subclass of: Restriction
  on property: has_Name
  all values from: string
subclass of: Restriction
  on property: hasURI
  all values from: anyURI
subclass of: Restriction
  on property: devided to
  all values from: Point Of View
subclass of: Restriction
  on property: isSubDomainOf
  all values from: Domain
sg: Domain
pl: Domains

Axiom
acetext: Every Domain is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Domain
annotated property: subClassOf

Axiom
acetext: /*[SubClassOf(Domain DataAllValuesFrom(hasURI anyURI))]*/
annotated source: Domain
annotated property: subClassOf
annotated target: Restriction
  on property: hasURI
  all values from: anyURI

Axiom
acetext: /*[SubClassOf(Domain DataAllValuesFrom(has_Name string))]*/
annotated source: Domain
annotated property: subClassOf
annotated target: Restriction
  on property: has_Name
  all values from: string

Axiom
acetext: Everything that is isSubdomainOfed by a Domain is a Domain.
annotated source: Domain
annotated property: subClassOf
annotated target: Restriction
  on property: isSubDomainOf
  all values from: Domain

Axiom
acetext: Everything that is devideded_to by a Domain is a Point_Of_View.
annotated source: Domain
annotated property: subClassOf
annotated target: Restriction
  on property: devided to
  all values from: Point Of View

Domain_Onto
type: Class
subclass of: Ontology
pl: Domain_Ontoes
sg: Domain_Onto

Axiom
acetext: Every Domain_Onto is an Ontology.
annotated source: Domain_Onto
annotated target: Ontology
annotated property: subClassOf

Electronic_Doc
type: Class
subclass of: Document
sg: Electronic_Doc
pl: Electronic_Docs

Axiom
acetext: Every Electronic_Doc is a Document.
annotated target: Document
annotated source: Electronic_Doc
annotated property: subClassOf

Enrich_Oper
type: Class
subclass of: operator

Enrichment_Resource
type: Class
subclass of: TOK_Resource
pl: Enrichment_Resources
sg: Enrichment_Resource

Axiom
acetext: Every Enrichment_Resource is a TOK_Resource.
annotated source: Enrichment_Resource
annotated target: TOK_Resource
annotated property: subClassOf

Entity Annotation
type: Class
subclass of: Onto Axiom
subclass of: Restriction
  on property: has entity
  on class: Ontology Entity
  qualified cardinality: 1
pl: Entity_Annotations
sg: Entity_Annotation

Axiom
acetext: Every Entity_Annotation is an Onto_Axiom.
annotated source: Entity Annotation
annotated target: Onto Axiom
annotated property: subClassOf

Axiom
acetext: Every Entity_Annotation has_entities exactly 1 Ontology_Entity.
annotated source: Entity Annotation
annotated property: subClassOf
annotated target: Restriction
  on property: has entity
  on class: Ontology Entity
  qualified cardinality: 1

Entity_Relation
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: subject
  some values from: TOK Entity
subclass of: Restriction
  on property: links between
  on class: TOK Entity
  min qualified cardinality: 2
subclass of: Restriction
  on property: object
  some values from: TOK Entity
pl: Entity_Relations
sg: Entity_Relation

Axiom
acetext: Every Entity_Relation object a TOK_Entity.
annotated source: Entity_Relation
annotated property: subClassOf
annotated target: Restriction
  on property: object
  some values from: TOK Entity

Axiom
acetext: Every Entity_Relation is a TOK_Entity.
annotated source: Entity_Relation
annotated target: TOK Entity
annotated property: subClassOf

Axiom
acetext: Every Entity_Relation subject a TOK_Entity.
annotated source: Entity_Relation
annotated property: subClassOf
annotated target: Restriction
  on property: subject
  some values from: TOK Entity

Axiom
acetext: Every Entity_Relation linkses_between at least 2 TOK_Entities.
annotated source: Entity_Relation
annotated property: subClassOf
annotated target: Restriction
  on property: links between
  on class: TOK Entity
  min qualified cardinality: 2

Equivalence Rel
type: Class
subclass of: Thesauri relation
subclass of: Restriction
  on property: used for
  all values from: Class
    union of: Interlingual Al
    union of: Intralingual Al
pl: Equivalency_Rels
sg: Equivalency_Rel

Axiom
acetext: Everything that is useded_for by an Equivalency_Rel is something that is an Interlingual_Al or that is an Intralingual_Al.
annotated source: Equivalence Rel
annotated property: subClassOf
annotated target: Restriction
  on property: used for
  all values from: Class
    union of: Interlingual Al
    union of: Intralingual Al

Axiom
acetext: Every Equivalency_Rel is a Thesauri_relation.
annotated source: Equivalence Rel
annotated target: Thesauri relation
annotated property: subClassOf

Equivalent Classes
type: Class
subclass of: Class Axiom
sg: Equivalent_Classes
pl: Equivalent_Classeses

Axiom
acetext: Every Equivalent_Classes is a Class_Axiom.
annotated target: Class Axiom
annotated source: Equivalent Classes
annotated property: subClassOf

Equivalent Term
type: Class
subclass of: Term
pl: Equivalent_Terms
sg: Equivalent_Term

Axiom
acetext: Every Equivalent_Term is a Term.
annotated source: Equivalent Term
annotated target: Term
annotated property: subClassOf

Export_Oper
type: Class
subclass of: operator

Extraction_Indexing
type: Class
subclass of: Indexing
pl: Extraction_Indexings
sg: Extraction_Indexing

Axiom
acetext: Every Extraction_Indexing is an Indexing.
annotated source: Extraction_Indexing
annotated target: Indexing
annotated property: subClassOf

F_Align
type: Class
subclass of: TOK_Conent_Model
sg: F_Align
pl: F_Aligns

Axiom
acetext: Every F_Align is a Tok_Model.
annotated source: F_Align
annotated target: TOK_Conent_Model
annotated property: subClassOf

Fact
type: Class
subclass of: Onto Axiom
pl: Facts
sg: Fact

Axiom
acetext: Every Fact is an Onto_Axiom.
annotated source: Fact
annotated target: Onto Axiom
annotated property: subClassOf

File Format
type: Class
subclass of: Thing
subclass of: Restriction
  on property: has acronym
  all values from: string
subclass of: Restriction
  on property: has description
  all values from: string
subclass of: Restriction
  on property: related to
  all values from: Formalism
pl: File_Formats
sg: File_Format

Axiom
acetext: Every File_Format is something.
annotated source: File Format
annotated property: subClassOf
annotated target: Thing

Axiom
acetext: /*[SubClassOf(File_Format DataAllValuesFrom(has_description string))]*/
annotated source: File Format
annotated property: subClassOf
annotated target: Restriction
  on property: has description
  all values from: string

Axiom
acetext: Everything that is relateded_to by a File_Format is a Formalism.
annotated source: File Format
annotated property: subClassOf
annotated target: Restriction
  on property: related to
  all values from: Formalism

Axiom
acetext: /*[SubClassOf(File_Format DataAllValuesFrom(has_acronym string))]*/
annotated source: File Format
annotated property: subClassOf
annotated target: Restriction
  on property: has acronym
  all values from: string

Formalism
type: Class
subclass of: Thing
subclass of: Restriction
  on property: has syntax
  all values from: Resource Syntax
subclass of: Restriction
  on property: has rep language
  all values from: Representation Language
pl: Formalisms
comment: this class represents an abstraction of the formalism of representation used to describe knowledge.
sg: Formalism

Axiom
acetext: Every Formalism is something.
annotated source: Formalism
annotated property: subClassOf
annotated target: Thing

Axiom
acetext: Everything that is has_syntaxed by a Formalism is a Resource_Syntax.
annotated source: Formalism
annotated property: subClassOf
annotated target: Restriction
  on property: has syntax
  all values from: Resource Syntax

Axiom
acetext: Everything that is has_rep_languaged by a Formalism is a Representation_Language.
annotated source: Formalism
annotated property: subClassOf
annotated target: Restriction
  on property: has rep language
  all values from: Representation Language

Format Specfication
type: Class
subclass of: Thing
pl: Format_Specfications
sg: Format_Specfication

Axiom
acetext: Every Format_Specfication is something.
annotated source: Format Specfication
annotated property: subClassOf
annotated target: Thing

Frame
type: Class
subclass of: Non Logical Approach
sg: Frame
pl: Frames

Axiom
acetext: Every Frame is a Non_Logical_Approach.
annotated source: Frame
annotated target: Non Logical Approach
annotated property: subClassOf

Free File Format
type: Class
subclass of: File Format
pl: Free_File_Formats
sg: Free_File_Format

Axiom
acetext: Every Free_File_Format is a File_Format.
annotated target: File Format
annotated source: Free File Format
annotated property: subClassOf

General Language
type: Class
subclass of: Language
sg: General_Language
pl: General_Languages

Axiom
acetext: Every General_Language is a Language.
annotated source: General Language
annotated target: Language
annotated property: subClassOf

General_Onto
type: Class
subclass of: Ontology
sg: General_Onto
pl: General_Ontoes

Axiom
acetext: Every General_Onto is an Ontology.
annotated source: General_Onto
annotated target: Ontology
annotated property: subClassOf

Generation
type: Class
subclass of: Task_Operation
comment: this task is in the center of our work, it may be driven on TOK resources in order to generate new and more complete resources from existing ones doing combinations in order to satisfy a particular need of the user.
sg: Generation
pl: Generations

Axiom
acetext: Every Generation is a Task.
annotated source: Generation
annotated target: Task_Operation
annotated property: subClassOf

Generic Term
type: Class
subclass of: Term
sg: Generic_Term
pl: Generic_Terms

Axiom
acetext: Every Generic_Term is a Term.
annotated source: Generic Term
annotated target: Term
annotated property: subClassOf

Glossary
type: Class
subclass of: Autonomous_Resource
subclass of: Restriction
  on property: restriction of
  on class: Lexicon
  qualified cardinality: 1
subclass of: Restriction
  on property: collection of
  all values from: Lexical_Form
subclass of: Restriction
  on property: collection of
  all values from: Definition
subclass of: Restriction
  on property: has size
  all values from: integer
subclass of: Restriction
  on property: has index
  on class: Index
  qualified cardinality: 1
subclass of: Restriction
  on property: has context
  on class: Context
  qualified cardinality: 1
subclass of: Restriction
  on property: has title
  all values from: string
pl: Glossaries
sg: Glossary

Axiom
acetext: Everything that is collection_ofed by a Glossary is a Definition.
annotated source: Glossary
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  all values from: Definition

Axiom
acetext: Every Glossary restriction_ofs exactly 1 Lexicon.
annotated source: Glossary
annotated property: subClassOf
annotated target: Restriction
  on property: restriction of
  on class: Lexicon
  qualified cardinality: 1

Axiom
acetext: Everything that is collection_ofed by a Glossary is a Word_Gp.
annotated source: Glossary
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  all values from: Lexical_Form

Axiom
acetext: /*[SubClassOf(Glossary DataAllValuesFrom(has_title string))]*/
annotated source: Glossary
annotated property: subClassOf
annotated target: Restriction
  on property: has title
  all values from: string

Axiom
acetext: Every Glossary has_contexts exactly 1 Context.
annotated source: Glossary
annotated property: subClassOf
annotated target: Restriction
  on property: has context
  on class: Context
  qualified cardinality: 1

Axiom
acetext: /*[SubClassOf(Glossary DataAllValuesFrom(has_size integer))]*/
annotated source: Glossary
annotated property: subClassOf
annotated target: Restriction
  on property: has size
  all values from: integer

Axiom
acetext: Every Glossary has_indexes exactly 1 Index.
annotated source: Glossary
annotated property: subClassOf
annotated target: Restriction
  on property: has index
  on class: Index
  qualified cardinality: 1

Hierarchical Rel
type: Class
subclass of: Thesauri relation
pl: Hierarchical_Rels
sg: Hierarchical_Rel

Axiom
acetext: Every Hierarchical_Rel is a Thesauri_relation.
annotated source: Hierarchical Rel
annotated target: Thesauri relation
annotated property: subClassOf

holonym
type: Class
subclass of: Sem Relation

Hyper Link
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: referred to
  all values from: Hypertext_Doc
sg: Hyper_Link
pl: Hyper_Links

Axiom
acetext: Everything that is referreded_to by a Hyper_Link is a Hypertext_Doc.
annotated source: Hyper Link
annotated property: subClassOf
annotated target: Restriction
  on property: referred to
  all values from: Hypertext_Doc

Axiom
acetext: Every Hyper_Link is a TOK_Entity.
annotated source: Hyper Link
annotated target: TOK Entity
annotated property: subClassOf

Hypernym
type: Class
subclass of: Sem Relation

Hypertext_Doc
type: Class
subclass of: Document
subclass of: Restriction
  on property: linked to
  all values from: Hypertext_Doc
subclass of: Restriction
  on property: linked by
  all values from: Hyper Link
sg: Hypertext_Doc
pl: Hypertext_Docs

Axiom
acetext: Everything that is linkeded_to by a Hypertext_Doc is a Hypertext_Doc.
annotated source: Hypertext_Doc
annotated property: subClassOf
annotated target: Restriction
  on property: linked to
  all values from: Hypertext_Doc

Axiom
acetext: Everything that is linked_bied by a Hypertext_Doc is a Hyper_Link.
annotated source: Hypertext_Doc
annotated property: subClassOf
annotated target: Restriction
  on property: linked by
  all values from: Hyper Link

Axiom
acetext: Every Hypertext_Doc is a Document.
annotated target: Document
annotated source: Hypertext_Doc
annotated property: subClassOf

Hyponym
type: Class
subclass of: Sem Relation

Implementation
type: Class
subclass of: Method

Import_Oper
type: Class
subclass of: operator

Index
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: collection of
  all values from: Index Resource
sg: Index
pl: Indices

Axiom
acetext: Every Index is a TOK_Entity.
annotated source: Index
annotated target: TOK Entity
annotated property: subClassOf

Axiom
acetext: Everything that is collection_ofed by an Index is an Index_Resource.
annotated source: Index
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  all values from: Index Resource

Index Resource
type: Class
subclass of: Annotation Resource
sg: Index_Resource
pl: Index_Resourices

Axiom
acetext: Every Index_Resource is an Annotation_Resource.
annotated target: Annotation Resource
annotated source: Index Resource
annotated property: subClassOf

Indexing
type: Class
subclass of: Task_Operation
comment: This class is an abstraction of the indexing process that can be driven on resources using ontlogies, thesauri or other type of TOK resources. in this scenario, the goal of the ontology is to provide a clearly defined classification and browsing structure for the information items in a repository. Again, the task can be performed manually by domain experts or as part of an application in an automatic or semi-automatic way.
sg: Indexing
pl: Indexiices

Axiom
acetext: Every Indexing is a Task.
annotated source: Indexing
annotated target: Task_Operation
annotated property: subClassOf

Indicator
type: Class
subclass of: TOK Entity
sg: Indicator
pl: Indicators

Axiom
acetext: Every Indicator is a TOK_Entity.
annotated source: Indicator
annotated target: TOK Entity
annotated property: subClassOf

Integration
type: Class
subclass of: Task_Operation
comment: the Integration task is performed on TOK resources in cas of need to have a new resource using other resources, or using TOK resources in order to manage information integration in distributed systems. the task characterizes how ontologies provide an integrating environment, an inter-lingua, for information repositories or software tools. In this scenario the ontology is applied (semi-)automatically to merge between heterogeneous data pools in the same or in adjacent domains.
pl: Integrations
sg: Integration

Axiom
acetext: Every Integration is a Task.
annotated source: Integration
annotated target: Task_Operation
annotated property: subClassOf

Interlingual Al
type: Class
subclass of: Alignment
pl: Interlingual_Als
sg: Interlingual_Al

Axiom
acetext: Every Interlingual_Al is an Alignment.
annotated target: Alignment
annotated source: Interlingual Al
annotated property: subClassOf

Intralingual Al
type: Class
subclass of: Alignment
pl: Intralingual_Als
sg: Intralingual_Al

Axiom
acetext: Every Intralingual_Al is an Alignment.
annotated target: Alignment
annotated source: Intralingual Al
annotated property: subClassOf

Join
type: Class
subclass of: Simple_Oper

Language
type: Class
subclass of: Thing
comment: Language class is an abstraction of the language covered by a terminological resource it has a value in a list of languages.
sg: Language
pl: Languages

Axiom
acetext: Every Language is something.
annotated source: Language
annotated property: subClassOf
annotated target: Thing

Language_Register
type: Class
subclass of: Abstract Entities
subclass of: Restriction
  on property: related to
  all values from: Class
    union of: Document
    union of: Topic
comment: This class describes the register of language covered by the corpus in use, the type of its value is a domain restriction or a specific type of tasks that describes a field of a domain.
sg: Language_Register
pl: Language_Registers

Axiom
acetext: Every Language_Register is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Language_Register
annotated property: subClassOf

Axiom
acetext: Everything that is relateded_to by a Language_Register is something that is a Document or that is a Topic.
annotated source: Language_Register
annotated property: subClassOf
annotated target: Restriction
  on property: related to
  all values from: Class
    union of: Document
    union of: Topic

Learning
type: Class
subclass of: Task_Operation
comment: this is a class describing the action of learning
pl: Learnings
sg: Learning

Axiom
acetext: Every Learning is a Task.
annotated source: Learning
annotated target: Task_Operation
annotated property: subClassOf

Learning_Corpus
type: Class
subclass of: Corpus
subclass of: Restriction
  on property: used for
  some values from: Learning
pl: Learning_Corpuses
sg: Learning_Corpus

Axiom
acetext: Every Learning_Corpus is a Corpus.
annotated target: Corpus
annotated source: Learning_Corpus
annotated property: subClassOf

Axiom
acetext: Every Learning_Corpus useds_for a Learning.
annotated source: Learning_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: used for
  some values from: Learning

Lemma Id
type: Class
subclass of: Abstract Entities
subclass of: Restriction
  on property: has index
  some values from: Index Resource
sg: Lemma_Id
pl: Lemma_Ids

Axiom
acetext: Every Lemma_Id is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Lemma Id
annotated property: subClassOf

Axiom
acetext: Every Lemma_Id has_indexes an Index_Resource.
annotated source: Lemma Id
annotated property: subClassOf
annotated target: Restriction
  on property: has index
  some values from: Index Resource

Lexical_Form
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: defines relation
  on class: Definition
  qualified cardinality: 1
subclass of: Restriction
  on property: word language
  on class: Language
  qualified cardinality: 1
subclass of: Restriction
  on property: has context
  all values from: Linguistic Context
subclass of: Restriction
  on property: has equivalent lang
  on class: Lexical_Form
  qualified cardinality: 1
sg: Word_Gp
pl: Lexical_Forms
sg: Lexical_Form
pl: Word_Gps

Axiom
acetext: Every Word_Gp has_equivalent_langs exactly 1 Word_Gp.
annotated source: Lexical_Form
annotated property: subClassOf
annotated target: Restriction
  on property: has equivalent lang
  on class: Lexical_Form
  qualified cardinality: 1

Axiom
acetext: Everything that is has_contexted by a Word_Gp is a Linguistic_Context.
annotated source: Lexical_Form
annotated property: subClassOf
annotated target: Restriction
  on property: has context
  all values from: Linguistic Context

Axiom
acetext: Every Word_Gp defines_relations exactly 1 Definition.
annotated source: Lexical_Form
annotated property: subClassOf
annotated target: Restriction
  on property: defines relation
  on class: Definition
  qualified cardinality: 1

Axiom
acetext: Every Lexical_Form is a TOK_Entity.
annotated source: Lexical_Form
annotated target: TOK Entity
annotated property: subClassOf

Axiom
acetext: Every Word_Gp word_languages exactly 1 Language.
annotated source: Lexical_Form
annotated property: subClassOf
annotated target: Restriction
  on property: word language
  on class: Language
  qualified cardinality: 1

Axiom
acetext: Every Word_Gp is a Lexical_Form.
annotated target: Lexical_Form
annotated source: Lexical_Form
annotated property: subClassOf

Lexicon
type: Class
subclass of: Autonomous_Resource
subclass of: Restriction
  on property: has size
  all values from: integer
subclass of: Restriction
  on property: collection of
  all values from: Lexical_Form
subclass of: Restriction
  on property: applied to
  all values from: General Language
subclass of: Restriction
  on property: has_language
  on class: Language
  qualified cardinality: 1
subclass of: Restriction
  on property: related to
  all values from: Terminology
sg: Lexicon
pl: Lexicons

Axiom
acetext: Everything that is collection_ofed by a Lexicon is a Word_Gp.
annotated source: Lexicon
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  all values from: Lexical_Form

Axiom
acetext: Everything that is relateded_to by a Lexicon is a Terminology.
annotated source: Lexicon
annotated property: subClassOf
annotated target: Restriction
  on property: related to
  all values from: Terminology

Axiom
acetext: /*[SubClassOf(Lexicon DataAllValuesFrom(has_size integer))]*/
annotated source: Lexicon
annotated property: subClassOf
annotated target: Restriction
  on property: has size
  all values from: integer

Axiom
acetext: Every Lexicon has_languages exactly 1 Language.
annotated source: Lexicon
annotated property: subClassOf
annotated target: Restriction
  on property: has_language
  on class: Language
  qualified cardinality: 1

Axiom
acetext: Everything that is applieded_to by a Lexicon is a General_Language.
annotated source: Lexicon
annotated property: subClassOf
annotated target: Restriction
  on property: applied to
  all values from: General Language

Linguistic Context
type: Class
subclass of: Context
sg: Linguistic_Context
pl: Linguistic_Contexts

Axiom
acetext: Every Linguistic_Context is a Context.
annotated target: Context
annotated source: Linguistic Context
annotated property: subClassOf

Logical Approach
type: Class
subclass of: Formalism
disjoint with: Natural Representation
disjoint with: Non Logical Approach
sg: Logical_Approach
pl: Logical_Approaches

Axiom
acetext: No Logical_Approach is a Non_Logical_Approach.
annotated source: Logical Approach
annotated target: Non Logical Approach
annotated property: disjointWith

Axiom
acetext: No Logical_Approach is a Natural_Representation.
annotated source: Logical Approach
annotated target: Natural Representation
annotated property: disjointWith

Axiom
acetext: Every Logical_Approach is a Formalism.
annotated target: Formalism
annotated source: Logical Approach
annotated property: subClassOf

Merge
type: Class
subclass of: Simple_Oper

Merging
type: Class
subclass of: Task_Operation
comment: this task consists on merging two or more TOK resources in order to get one Resource, this tsak may have other perameters like Alignments.
sg: Merging
pl: Mergings

Axiom
acetext: Every Merging is a Task.
annotated source: Merging
annotated target: Task_Operation
annotated property: subClassOf

meronym
type: Class
subclass of: Sem Relation

Method
type: Class
subclass of: Thing
sg: Method
pl: Methods

Axiom
acetext: Every Method is something.
annotated source: Method
annotated property: subClassOf
annotated target: Thing

Monolingual_Corpus
type: Class
subclass of: Corpus
subclass of: Restriction
  on property: has_language
  on class: Language
  qualified cardinality: 1
sg: Monolingual_Corpora
pl: Monolingual_Corporas

Axiom
acetext: Every Monolingual_Corpus has_languages exactly 1 Language.
annotated source: Monolingual_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has_language
  on class: Language
  qualified cardinality: 1

Axiom
acetext: Every Monolingual_Corpus is a Corpus.
annotated target: Corpus
annotated source: Monolingual_Corpus
annotated property: subClassOf

More_General
type: Class
subclass of: Hierarchical Rel
pl: More_Generals
sg: More_General

Axiom
acetext: Every More_General is a Hierarchical_Rel.
annotated target: Hierarchical Rel
annotated source: More_General
annotated property: subClassOf

More_Specific
type: Class
subclass of: Hierarchical Rel
pl: More_Specifics
sg: More_Specific

Axiom
acetext: Every More_Specific is a Hierarchical_Rel.
annotated target: Hierarchical Rel
annotated source: More_Specific
annotated property: subClassOf

Morpho Entry
type: Class
subclass of: Lexical_Form
sg: Morpho_Entry
pl: Morpho_Entries

Axiom
acetext: Every Morpho_Entry is a Lexical_Form.
annotated target: Lexical_Form
annotated source: Morpho Entry
annotated property: subClassOf

Multi Word Ab
type: Class
subclass of: Abreviation
subclass of: Restriction
  on property: developped from
  all values from: Morpho Entry
pl: Multi_Word_Abs
sg: Multi_Word_Ab

Axiom
acetext: Every Multi_Word_Ab is an Abreviation.
annotated target: Abreviation
annotated source: Multi Word Ab
annotated property: subClassOf

Axiom
acetext: Everything that is developpeded_from by a Multi_Word_Ab is a Morpho_Entry.
annotated source: Multi Word Ab
annotated property: subClassOf
annotated target: Restriction
  on property: developped from
  all values from: Morpho Entry

Multilingual_Corpus
type: Class
subclass of: Corpus
subclass of: Restriction
  on property: source language
  all values from: Language
subclass of: Restriction
  on property: target language
  all values from: Language
subclass of: Restriction
  on property: has_language
  some values from: Language
sg: Multilingual_Corpora
pl: Multilingual_Corporas

Axiom
acetext: Every Multilingual_Corpus is a Corpus.
annotated target: Corpus
annotated source: Multilingual_Corpus
annotated property: subClassOf

Axiom
acetext: Everything that is target_languaged by a Multilingual_Corpus is a Language.
annotated source: Multilingual_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: target language
  all values from: Language

Axiom
acetext: Everything that is source_languaged by a Multilingual_Corpus is a Language.
annotated source: Multilingual_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: source language
  all values from: Language

Axiom
acetext: Every Multilingual_Corpora has_languages a Language.
annotated source: Multilingual_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has_language
  some values from: Language

Named_Concept
type: Class
subclass of: Defined Concept
subclass of: Restriction
  on property: has term
  all values from: Term
disjoint with: UnNamed_Concept
pl: Named_Concepts
sg: Named_Concept

Axiom
acetext: Every Named_Concept is a Defined_Concept.
annotated target: Defined Concept
annotated source: Named_Concept
annotated property: subClassOf

Axiom
acetext: Everything that is has_termed by a Named_Concept is a Term.
annotated source: Named_Concept
annotated property: subClassOf
annotated target: Restriction
  on property: has term
  all values from: Term

Axiom
acetext: No Named_Concept is an UnNamed_Concept.
annotated source: Named_Concept
annotated target: UnNamed_Concept
annotated property: disjointWith

Narrower Term
type: Class
subclass of: More_Specific
subclass of: Restriction
  on property: inverse of
  all values from: Broder Term
sg: Narrower_Term
pl: Narrower_Terms

Axiom
acetext: Every Narrower_Term is a More_Specific.
annotated target: More_Specific
annotated source: Narrower Term
annotated property: subClassOf

Axiom
acetext: Everything that is inverse_ofed by a Narrower_Term is a Broder_Term.
annotated source: Narrower Term
annotated property: subClassOf
annotated target: Restriction
  on property: inverse of
  all values from: Broder Term

Natural Language Model
type: Class
subclass of: Natural Representation
disjoint with: Text
sg: Natural_Language_Model
pl: Natural_Language_Models

Axiom
acetext: No Natural_Language_Model is a Text.
annotated source: Natural Language Model
annotated target: Text
annotated property: disjointWith

Axiom
acetext: Every Natural_Language_Model is a Natural_Representation.
annotated source: Natural Language Model
annotated target: Natural Representation
annotated property: subClassOf

Natural Representation
type: Class
subclass of: Formalism
disjoint with: Non Logical Approach
sg: Natural_Representation
pl: Natural_Representations

Axiom
acetext: Every Natural_Representation is a Formalism.
annotated target: Formalism
annotated source: Natural Representation
annotated property: subClassOf

Axiom
acetext: No Natural_Representation is a Non_Logical_Approach.
annotated source: Natural Representation
annotated target: Non Logical Approach
annotated property: disjointWith

Axiom
acetext: No Logical_Approach is a Natural_Representation.
annotated source: Logical Approach
annotated target: Natural Representation
annotated property: disjointWith

Near Synonym
type: Class
subclass of: Equivalence Rel
pl: Near_Synonyms
sg: Near_Synonym

Axiom
acetext: Every Near_Synonym is an Equivalency_Rel.
annotated target: Equivalence Rel
annotated source: Near Synonym
annotated property: subClassOf

Node_Link
type: Class
subclass of: TOK_Conent_Model
pl: Node_Links
sg: Node_Link

Axiom
acetext: Every Node_Link is a Tok_Model.
annotated source: Node_Link
annotated target: TOK_Conent_Model
annotated property: subClassOf

Non Logical Approach
type: Class
subclass of: Formalism
pl: Non_Logical_Approaches
sg: Non_Logical_Approach

Axiom
acetext: No Logical_Approach is a Non_Logical_Approach.
annotated source: Logical Approach
annotated target: Non Logical Approach
annotated property: disjointWith

Axiom
acetext: No Natural_Representation is a Non_Logical_Approach.
annotated source: Natural Representation
annotated target: Non Logical Approach
annotated property: disjointWith

Axiom
acetext: Every Non_Logical_Approach is a Formalism.
annotated target: Formalism
annotated source: Non Logical Approach
annotated property: subClassOf

Non Preferred Term
type: Class
subclass of: Term
disjoint with: Preferred Term
pl: Non_Preferred_Terms
sg: Non_Preferred_Term

Axiom
acetext: No Preferred_Term is a Non_Preferred_Term.
annotated source: Non Preferred Term
annotated target: Preferred Term
annotated property: disjointWith

Axiom
acetext: Every Non_Preferred_Term is a Term.
annotated source: Non Preferred Term
annotated target: Term
annotated property: subClassOf

Object
type: Class
subclass of: Abstract Entities
sg: Object
pl: Objects

Axiom
acetext: Every Object is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Object
annotated property: subClassOf

Object Property
type: Class
subclass of: Onto Property
pl: Object_Properties
sg: Object_Property

Axiom
acetext: Every Object_Property is an Onto_Property.
annotated source: Object Property
annotated target: Onto Property
annotated property: subClassOf

Onto Axiom
type: Class
subclass of: Ontology Entity
sg: Onto_Axiom
pl: Onto_Axioms

Axiom
acetext: Every Onto_Axiom is an Ontology_Entity.
annotated source: Onto Axiom
annotated target: Ontology Entity
annotated property: subClassOf

Onto Class
type: Class
subclass of: Ontology Entity
subclass of: Restriction
  on property: descibes
  all values from: Concept
sg: Onto_Class
pl: Onto_Classes

Axiom
acetext: Everything that is descibesed by an Onto_Class is a Concept.
annotated source: Onto Class
annotated property: subClassOf
annotated target: Restriction
  on property: descibes
  all values from: Concept

Axiom
acetext: Every Onto_Class is an Ontology_Entity.
annotated source: Onto Class
annotated target: Ontology Entity
annotated property: subClassOf

Onto Constant
type: Class
subclass of: Ontology Entity
sg: Onto_Constant
pl: Onto_Constants

Axiom
acetext: Every Onto_Constant is an Ontology_Entity.
annotated source: Onto Constant
annotated target: Ontology Entity
annotated property: subClassOf

Onto Individual
type: Class
subclass of: Ontology Entity
sg: Onto_Individual
pl: Onto_Individuals

Axiom
acetext: Every Onto_Individual is an Ontology_Entity.
annotated source: Onto Individual
annotated target: Ontology Entity
annotated property: subClassOf

Onto Property
type: Class
subclass of: Ontology Entity
sg: Onto_Property
pl: Onto_Properties

Axiom
acetext: Every Onto_Property is an Ontology_Entity.
annotated source: Onto Property
annotated target: Ontology Entity
annotated property: subClassOf

Ontology
type: Class
subclass of: Autonomous_Resource
subclass of: Restriction
  on property: has formalism
  on class: Formalism
  qualified cardinality: 1
subclass of: Restriction
  on property: has PointOfView
  all values from: Point Of View
subclass of: Restriction
  on property: use imports
  all values from: Ontology
subclass of: Restriction
  on property: has entity
  all values from: Ontology Entity
subclass of: Restriction
  on property: o align with
  all values from: Ontology
pl: Ontologies
sg: Ontology

Axiom
acetext: Everything that is has_entitied by an Ontology is an Ontology_Entity.
annotated source: Ontology
annotated property: subClassOf
annotated target: Restriction
  on property: has entity
  all values from: Ontology Entity

Axiom
acetext: Everything that is has_PointOfViewed by an Ontology is a Point_Of_View.
annotated source: Ontology
annotated property: subClassOf
annotated target: Restriction
  on property: has PointOfView
  all values from: Point Of View

Axiom
acetext: Everything that is use_importsed by an Ontology is an Ontology.
annotated source: Ontology
annotated property: subClassOf
annotated target: Restriction
  on property: use imports
  all values from: Ontology

Axiom
acetext: Everything that is o_aligned_with by an Ontology is an Ontology.
annotated source: Ontology
annotated property: subClassOf
annotated target: Restriction
  on property: o align with
  all values from: Ontology

Axiom
acetext: Every Ontology has_formalisms exactly 1 Formalism.
annotated source: Ontology
annotated property: subClassOf
annotated target: Restriction
  on property: has formalism
  on class: Formalism
  qualified cardinality: 1

Ontology Entity
type: Class
subclass of: TOK Entity
pl: Ontology_Entities
sg: Ontology_Entity

Axiom
acetext: Every Ontology_Entity is a TOK_Entity.
annotated source: Ontology Entity
annotated target: TOK Entity
annotated property: subClassOf

Open Document Format
type: Class
subclass of: File Format
pl: Open_Document_Formats
sg: Open_Document_Format

Axiom
acetext: Every Open_Document_Format is a File_Format.
annotated target: File Format
annotated source: Open Document Format
annotated property: subClassOf

Open Format
type: Class
subclass of: File Format
pl: Open_Formats
sg: Open_Format

Axiom
acetext: Every Open_Format is a File_Format.
annotated target: File Format
annotated source: Open Format
annotated property: subClassOf

Open Standard
type: Class
subclass of: Format Specfication
sg: Open_Standard
pl: Open_Standards

Axiom
acetext: Every Open_Standard is a Format_Specfication.
annotated target: Format Specfication
annotated source: Open Standard
annotated property: subClassOf

operator
type: Class
subclass of: Thing
pl: operators
sg: operator

Organization
type: Class
subclass of: Party
pl: Organizations
sg: Organization

Axiom
acetext: Every Organization is a Party.
annotated source: Organization
annotated target: Party
annotated property: subClassOf

Parallel_Corpus
type: Class
subclass of: Complex_Resource

Parallel Corpus Alignment
type: Class
subclass of: Alignment Resource
subclass of: Restriction
  on property: translation of
  all values from: Text
sg: Parallel_Corpora
pl: Parallel_Corporas

Axiom
acetext: Everything that is translation_ofed by a Parallel_Corpora is a Text.
annotated source: Parallel Corpus Alignment
annotated property: subClassOf
annotated target: Restriction
  on property: translation of
  all values from: Text

Party
type: Class
subclass of: Thing
pl: Parties
sg: Party

Axiom
acetext: Every Party is something.
annotated source: Party
annotated property: subClassOf
annotated target: Thing

Person
type: Class
subclass of: Party
sg: Person
pl: Persons

Axiom
acetext: Every Person is a Party.
annotated target: Party
annotated source: Person
annotated property: subClassOf

Personnalization
type: Class
subclass of: Task_Operation
comment: this task is performed using a TOK resource as an ontology in order to personnalize othe resources.
sg: Personalization
pl: Personalizations

Axiom
acetext: Every Personalization is a Task.
annotated source: Personnalization
annotated target: Task_Operation
annotated property: subClassOf

Point Of View
type: Class
subclass of: Abstract Entities
subclass of: Restriction
  on property: related to
  all values from: Class
    union of: Ontology
    union of: TOK_Resource
    union of: Topic
subclass of: Restriction
  on property: has_keywords
  all values from: string
subclass of: Restriction
  on property: has acronym
  all values from: string
pl: Point_Of_Views
sg: Point_Of_View

Axiom
acetext: /*[SubClassOf(Point_Of_View DataAllValuesFrom(has_keywords string))]*/
annotated source: Point Of View
annotated property: subClassOf
annotated target: Restriction
  on property: has_keywords
  all values from: string

Axiom
acetext: Every Point_Of_View is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Point Of View
annotated property: subClassOf

Axiom
acetext: Everything that is relateded_to by a Point_Of_View is something that is an Ontology or that is a TOK_Resource or that is a Topic.
annotated source: Point Of View
annotated property: subClassOf
annotated target: Restriction
  on property: related to
  all values from: Class
    union of: Ontology
    union of: TOK_Resource
    union of: Topic

Axiom
acetext: /*[SubClassOf(Point_Of_View DataAllValuesFrom(has_acronym string))]*/
annotated source: Point Of View
annotated property: subClassOf
annotated target: Restriction
  on property: has acronym
  all values from: string

Predicate Logic
type: Class
subclass of: Classic Logic
pl: Predicate_Logics
sg: Predicate_Logic

Axiom
acetext: Every Predicate_Logic is a Classic_Logic.
annotated target: Classic Logic
annotated source: Predicate Logic
annotated property: subClassOf

Preferred Term
type: Class
subclass of: Term
subclass of: Restriction
  on property: descibes
  all values from: Concept
pl: Preferred_Terms
sg: Preferred_Term

Axiom
acetext: No Preferred_Term is a Non_Preferred_Term.
annotated source: Non Preferred Term
annotated target: Preferred Term
annotated property: disjointWith

Axiom
acetext: Every Preferred_Term is a Term.
annotated source: Preferred Term
annotated target: Term
annotated property: subClassOf

Axiom
acetext: Everything that is descibesed by a Preferred_Term is a Concept.
annotated source: Preferred Term
annotated property: subClassOf
annotated target: Restriction
  on property: descibes
  all values from: Concept

Primitive Concept
type: Class
subclass of: Concept
subclass of: Restriction
  on property: has term
  all values from: Term
comment: renamed 'Primitif' -> 'Primitive'
sg: Primitif_Concept
pl: Primitif_Concepts
contributor: gf

Axiom
acetext: Everything that is has_termed by a Primitif_Concept is a Term.
annotated source: Primitive Concept
annotated property: subClassOf
annotated target: Restriction
  on property: has term
  all values from: Term

Axiom
acetext: Every Primitif_Concept is a Concept.
annotated target: Concept
annotated source: Primitive Concept
annotated property: subClassOf

Axiom
acetext: No Defined_Concept is a Primitif_Concept.
annotated source: Defined Concept
annotated target: Primitive Concept
annotated property: disjointWith

Task_Operation
type: Class
subclass of: Thing
subclass of: Restriction
  on property: has_keywords
  all values from: string
subclass of: Restriction
  on property: has description
  all values from: string
subclass of: Restriction
  on property: uses
  some values from: TOK_Resource
subclass of: Restriction
  on property: has_Name
  all values from: string
subclass of: Restriction
  on property: out
  all values from: TOK_Resource
subclass of: Restriction
  on property: uses_algorithm
  all values from: Algorithm
subclass of: Restriction
  on property: in
  some values from: TOK_Resource
comment: Task or Usage, this class describes the tasks performed on/by a terminological resource, we can make a discrimination between both tasks but in our case of use these actions or tasks may be performed using TOK resources on TOK resources. Each task is iplemented by an operator.
pl: Tasks
sg: Task

Axiom
acetext: Every Task uses a TOK_Resource.
annotated source: Task_Operation
annotated property: subClassOf
annotated target: Restriction
  on property: uses
  some values from: TOK_Resource

Axiom
acetext: Every Task in a TOK_Resource.
annotated source: Task_Operation
annotated property: subClassOf
annotated target: Restriction
  on property: in
  some values from: TOK_Resource

Axiom
acetext: /*[SubClassOf(Task DataAllValuesFrom(has_Name string))]*/
annotated source: Task_Operation
annotated property: subClassOf
annotated target: Restriction
  on property: has_Name
  all values from: string

Axiom
acetext: Everything that is uses_algorithm by a Task is an Algorithm.
annotated source: Task_Operation
annotated property: subClassOf
annotated target: Restriction
  on property: uses_algorithm
  all values from: Algorithm

Axiom
acetext: /*[SubClassOf(Task DataAllValuesFrom(has_description string))]*/
annotated source: Task_Operation
annotated property: subClassOf
annotated target: Restriction
  on property: has description
  all values from: string

Axiom
acetext: /*[SubClassOf(Task DataAllValuesFrom(has_keywords string))]*/
annotated source: Task_Operation
annotated property: subClassOf
annotated target: Restriction
  on property: has_keywords
  all values from: string

Axiom
acetext: Every Task is something.
annotated source: Task_Operation
annotated property: subClassOf
annotated target: Thing

Axiom
acetext: Everything that is out by a Task is a TOK_Resource.
annotated source: Task_Operation
annotated property: subClassOf
annotated target: Restriction
  on property: out
  all values from: TOK_Resource

Production Rule
type: Class
subclass of: Classic Logic
pl: Production_Rules
sg: Production_Rule

Axiom
acetext: Every Production_Rule is a Classic_Logic.
annotated target: Classic Logic
annotated source: Production Rule
annotated property: subClassOf

Project
type: Class
subclass of: Simple_Oper

Projection
type: Class
subclass of: Task_Operation
comment: this operation is performed of specefic resources in order to extract information upon particular criterias.
pl: Projections
sg: Projection

Axiom
acetext: Every Projection is a Task.
annotated target: Task_Operation
annotated source: Projection
annotated property: subClassOf

Proposition Logic
type: Class
subclass of: Classic Logic
pl: Proposition_Logics
sg: Proposition_Logic

Axiom
acetext: Every Proposition_Logic is a Classic_Logic.
annotated target: Classic Logic
annotated source: Proposition Logic
annotated property: subClassOf

Proprietary Format
type: Class
subclass of: File Format
pl: Proprietary_Formats
sg: Proprietary_Format

Axiom
acetext: Every Proprietary_Format is a File_Format.
annotated target: File Format
annotated source: Proprietary Format
annotated property: subClassOf

QueryRewriting
type: Class
subclass of: Task_Operation
comment: complementary to the query formulation dimension, this task applies ontologies to semantically optimize query expressions by means of the domain knowledge (constraints, subsumption relations etc.) The task can be interpreted as a particular art of filtering information. The task is performed automatically; however, it assumes the availability of patterns describing the transformations at query level.
pl: QueryRewritings
sg: QueryRewriting

Axiom
acetext: Every QueryRewriting is a Task.
annotated target: Task_Operation
annotated source: QueryRewriting
annotated property: subClassOf

QueryFormulation
type: Class
subclass of: Task_Operation
comment: the ontology is used in information retrieval settings as a controlled vocabulary for representing user queries. Usually the task is performed automatically in that the concepts of the ontology is are listed in a query formulation front-end in order to allow users to specifies their queries.
sg: Query_Formulation
pl: Query_Formulations

Axiom
acetext: Every Query_Formulation is a Task.
annotated target: Task_Operation
annotated source: QueryFormulation
annotated property: subClassOf

Reasoning
type: Class
subclass of: Task_Operation
comment: the task of resoning can be performed on well formlized TOK resources in order to manage knowledge.
pl: Reasonings
sg: Reasoning

Axiom
acetext: Every Reasoning is a Task.
annotated target: Task_Operation
annotated source: Reasoning
annotated property: subClassOf

Related_Term
type: Class
subclass of: Term
pl: Related_Terms
sg: Related_Term

Axiom
acetext: Every Related_Term is a Term.
annotated source: Related_Term
annotated target: Term
annotated property: subClassOf

Representation Language
type: Class
subclass of: Thing
subclass of: Restriction
  on property: developed by
  all values from: Party
subclass of: Restriction
  on property: has documentation
  all values from: Document
subclass of: Restriction
  on property: has_Name
  all values from: string
subclass of: Restriction
  on property: has acronym
  all values from: string
subclass of: Restriction
  on property: has description
  all values from: string
subclass of: Restriction
  on property: has syntax
  all values from: Resource Syntax
subclass of: Restriction
  on property: has formalism
  all values from: Formalism
pl: Representation_Languages
sg: Representation_Language

Axiom
acetext: /*[SubClassOf(Representation_Language DataAllValuesFrom(has_description string))]*/
annotated source: Representation Language
annotated property: subClassOf
annotated target: Restriction
  on property: has description
  all values from: string

Axiom
acetext: /*[SubClassOf(Representation_Language DataAllValuesFrom(has_acronym string))]*/
annotated source: Representation Language
annotated property: subClassOf
annotated target: Restriction
  on property: has acronym
  all values from: string

Axiom
acetext: Everything that is has_syntaxed by a Representation_Language is a Resource_Syntax.
annotated source: Representation Language
annotated property: subClassOf
annotated target: Restriction
  on property: has syntax
  all values from: Resource Syntax

Axiom
acetext: Every Representation_Language is something.
annotated source: Representation Language
annotated property: subClassOf
annotated target: Thing

Axiom
acetext: /*[SubClassOf(Representation_Language DataAllValuesFrom(has_Name string))]*/
annotated source: Representation Language
annotated property: subClassOf
annotated target: Restriction
  on property: has_Name
  all values from: string

Axiom
acetext: Everything that is developed_byed by a Representation_Language is a Party.
annotated source: Representation Language
annotated property: subClassOf
annotated target: Restriction
  on property: developed by
  all values from: Party

Axiom
acetext: Everything that is has_formalismed by a Representation_Language is a Formalism.
annotated source: Representation Language
annotated property: subClassOf
annotated target: Restriction
  on property: has formalism
  all values from: Formalism

Axiom
acetext: Everything that is has_documentationed by a Representation_Language is a Document.
annotated source: Representation Language
annotated property: subClassOf
annotated target: Restriction
  on property: has documentation
  all values from: Document

Resource_Relation
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: object
  some values from: TOK_Resource
subclass of: Restriction
  on property: subject
  some values from: TOK_Resource
pl: Resource_Relations
sg: Resource_Relation

Axiom
acetext: Every Resource_Relation is a TOK_Entity.
annotated source: Resource_Relation
annotated target: TOK Entity
annotated property: subClassOf

Axiom
acetext: Every Resource_Relation subject a TOK_Resource.
annotated source: Resource_Relation
annotated property: subClassOf
annotated target: Restriction
  on property: subject
  some values from: TOK_Resource

Axiom
acetext: Every Resource_Relation object a TOK_Resource.
annotated source: Resource_Relation
annotated property: subClassOf
annotated target: Restriction
  on property: object
  some values from: TOK_Resource

Resource Syntax
type: Class
subclass of: Thing
subclass of: Restriction
  on property: has description
  all values from: string
subclass of: Restriction
  on property: has acronym
  all values from: string
subclass of: Restriction
  on property: has_Name
  all values from: string
subclass of: Restriction
  on property: has documentation
  all values from: Document
subclass of: Restriction
  on property: developed by
  all values from: Party
sg: Resource_Syntax
pl: Resource_Syntaxes

Axiom
acetext: Everything that is has_documentationed by a Resource_Syntax is a Document.
annotated source: Resource Syntax
annotated property: subClassOf
annotated target: Restriction
  on property: has documentation
  all values from: Document

Axiom
acetext: /*[SubClassOf(Resource_Syntax DataAllValuesFrom(has_Name string))]*/
annotated source: Resource Syntax
annotated property: subClassOf
annotated target: Restriction
  on property: has_Name
  all values from: string

Axiom
acetext: Everything that is developed_bied by a Resource_Syntax is a Party.
annotated source: Resource Syntax
annotated property: subClassOf
annotated target: Restriction
  on property: developed by
  all values from: Party

Axiom
acetext: Every Resource_Syntax is something.
annotated source: Resource Syntax
annotated property: subClassOf
annotated target: Thing

Axiom
acetext: /*[SubClassOf(Resource_Syntax DataAllValuesFrom(has_acronym string))]*/
annotated source: Resource Syntax
annotated property: subClassOf
annotated target: Restriction
  on property: has acronym
  all values from: string

Axiom
acetext: /*[SubClassOf(Resource_Syntax DataAllValuesFrom(has_description string))]*/
annotated source: Resource Syntax
annotated property: subClassOf
annotated target: Restriction
  on property: has description
  all values from: string

SKOS
type: Class
subclass of: Formalism
sg: SKOS_SimpleKnowledgeOrganizationSystem
pl: SKOS_SimpleKnowledgeOrganizationSystems

Axiom
acetext: Every SKOS is a Formalism.
annotated target: Formalism
annotated source: SKOS
annotated property: subClassOf

S_Align
type: Class
subclass of: TOK_Conent_Model
pl: S_Aligns
sg: S_Align

Axiom
acetext: Every S_Align is a Tok_Model.
annotated source: S_Align
annotated target: TOK_Conent_Model
annotated property: subClassOf

Scenario
type: Class
subclass of: Non Logical Approach
sg: Scenario
pl: Scenarios

Axiom
acetext: Every Scenario is a Non_Logical_Approach.
annotated target: Non Logical Approach
annotated source: Scenario
annotated property: subClassOf

Scope Note
type: Class
subclass of: Term
sg: Scope_Note
pl: Scope_Notes

Axiom
acetext: Every Scope_Note is a Term.
annotated source: Scope Note
annotated target: Term
annotated property: subClassOf

Script
type: Class
subclass of: Non Logical Approach
sg: Script
pl: Scripts

Axiom
acetext: Every Script is a Non_Logical_Approach.
annotated target: Non Logical Approach
annotated source: Script
annotated property: subClassOf

Select
type: Class
subclass of: Simple_Oper

Selection
type: Class
subclass of: Task_Operation
comment: this oprator may be useful for information retrieval tasks such as extraction or other types of operations.
sg: Selection
pl: Selections

Axiom
acetext: Every Selection is a Task.
annotated target: Task_Operation
annotated source: Selection
annotated property: subClassOf

Semantic Network
type: Class
subclass of: Non Logical Approach
pl: Semantic_Networks
sg: Semantic_Network

Axiom
acetext: Every Semantic_Network is a Non_Logical_Approach.
annotated target: Non Logical Approach
annotated source: Semantic Network
annotated property: subClassOf

Semiotic_Onto
type: Class
subclass of: Ontology
pl: Semiotic_Ontoes
sg: Semiotic_Onto

Axiom
acetext: Every Semiotic_Onto is an Ontology.
annotated target: Ontology
annotated source: Semiotic_Onto
annotated property: subClassOf

Sentence
type: Class
subclass of: Content
subclass of: Restriction
  on property: sequence of
  all values from: Lexical_Form
pl: Sentences
sg: Sentence

Axiom
acetext: Every Sentence is a Content.
annotated target: Content
annotated source: Sentence
annotated property: subClassOf

Axiom
acetext: Everything that is sequence_ofed by a Sentence is a Word_Gp.
annotated source: Sentence
annotated property: subClassOf
annotated target: Restriction
  on property: sequence of
  all values from: Lexical_Form

Service
type: Class
subclass of: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.
sg: Service
pl: Services

Axiom
acetext: Every Service is a TOK_Tool.
annotated source: Service
annotated target: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.
annotated property: subClassOf

Simple_Oper
type: Class
subclass of: operator

Simple Word
type: Class
subclass of: Lexical_Form
pl: Simple_Words
sg: Simple_Word

Axiom
acetext: Every Simple_Word is a Word_Gp.
annotated target: Lexical_Form
annotated source: Simple Word
annotated property: subClassOf

Single Word Ab
type: Class
subclass of: Abreviation
subclass of: Restriction
  on property: developped from
  all values from: Lexical_Form
sg: Single_Word_Ab
pl: Single_Word_Abs

Axiom
acetext: Every Single_Word_Ab is an Abreviation.
annotated target: Abreviation
annotated source: Single Word Ab
annotated property: subClassOf

Axiom
acetext: Everything that is developpeded_from by a Single_Word_Ab is a Word_Gp.
annotated source: Single Word Ab
annotated property: subClassOf
annotated target: Restriction
  on property: developped from
  all values from: Lexical_Form

Single Word Noun
type: Class
subclass of: Lexical_Form
sg: Single_Word_Noun
pl: Single_Word_Nouns

Axiom
acetext: Every Single_Word_Noun is a Word_Gp.
annotated target: Lexical_Form
annotated source: Single Word Noun
annotated property: subClassOf

Situational Context
type: Class
subclass of: Context
sg: Situational_Context
pl: Situational_Contexts

Axiom
acetext: Every Situational_Context is a Context.
annotated target: Context
annotated source: Situational Context
annotated property: subClassOf

Specific Language
type: Class
subclass of: Language
pl: Specific_Languages
sg: Specific_Language

Axiom
acetext: Every Specific_Language is a Language.
annotated target: Language
annotated source: Specific Language
annotated property: subClassOf

Specific Term
type: Class
subclass of: Term
pl: Specific_Terms
sg: Specific_Term

Axiom
acetext: Every Specific_Term is a Term.
annotated source: Specific Term
annotated target: Term
annotated property: subClassOf

Synonym
type: Class
subclass of: Equivalence Rel
subclass of: Term Relation
subclass of: Restriction
  on property: indicates
  all values from: Equivalent Term
sg: Synonym
pl: Synonyms

Axiom
acetext: Every Synonym is an Equivalency_Rel.
annotated target: Equivalence Rel
annotated source: Synonym
annotated property: subClassOf

Axiom
acetext: Everything that is indicatesed by a Synonym is an Equivalent_Term.
annotated source: Synonym
annotated property: subClassOf
annotated target: Restriction
  on property: indicates
  all values from: Equivalent Term

TOK_Conent_Model
type: Class
subclass of: Thing
subclass of: Restriction
  on property: uses
  all values from: TOK Entity
comment: TOK_Content_Model plays the role of classifying the resources, so we consider everything as a resource and the way to classify them is when thay use a certain model to be represented. We have then amodels representing ontological resources, others representing terminological resources, etc. Somehow we are just applying the main idea about our approach to ensure the openness of our ontology or global model to all kinds of resources.
pl: TOK_Content_Models
sg: TOK_Content_Model

Axiom
acetext: Every Tok_Model is something.
annotated source: TOK_Conent_Model
annotated property: subClassOf
annotated target: Thing

TOK Entity
type: Class
subclass of: Thing
subclass of: Restriction
  on property: aligned to
  some values from: TOK Entity
subclass of: Restriction
  on property: hasURI
  all values from: string
subclass of: Restriction
  on property: has_Name
  all values from: string
subclass of: Restriction
  on property: has description
  all values from: string
pl: TOK_Entities
sg: TOK_Entity

Axiom
acetext: /*[SubClassOf(TOK_Entity DataAllValuesFrom(has_Name string))]*/
annotated source: TOK Entity
annotated property: subClassOf
annotated target: Restriction
  on property: has_Name
  all values from: string

Axiom
acetext: /*[SubClassOf(TOK_Entity DataAllValuesFrom(hasURI string))]*/
annotated source: TOK Entity
annotated property: subClassOf
annotated target: Restriction
  on property: hasURI
  all values from: string

Axiom
acetext: /*[SubClassOf(TOK_Entity DataAllValuesFrom(has_description string))]*/
annotated source: TOK Entity
annotated property: subClassOf
annotated target: Restriction
  on property: has description
  all values from: string

Axiom
acetext: Every TOK_Entity is something.
annotated source: TOK Entity
annotated property: subClassOf
annotated target: Thing

Axiom
acetext: Every TOK_Entity aligneds_to a TOK_Entity.
annotated source: TOK Entity
annotated property: subClassOf
annotated target: Restriction
  on property: aligned to
  some values from: TOK Entity

TOK_Resource
type: Class
subclass of: Thing
subclass of: Restriction
  on property: has_entitynumber
  all values from: integer
subclass of: Restriction
  on property: has_model
  some values from: TOK_Conent_Model
subclass of: Restriction
  on property: developed by
  all values from: Party
subclass of: Restriction
  on property: has_language
  all values from: Language
subclass of: Restriction
  on property: has_location
  all values from: string
subclass of: Restriction
  on property: collection of
  some values from: TOK_Resource
subclass of: Restriction
  on property: has_keywords
  all values from: string
subclass of: Restriction
  on property: aligned to
  some values from: TOK_Resource
subclass of: Restriction
  on property: has_Name
  all values from: string
subclass of: Restriction
  on property: has align
  all values from: Alignment Resource
subclass of: Restriction
  on property: treated by
  all values from: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.
subclass of: Restriction
  on property: has entity
  some values from: TOK Entity
subclass of: Restriction
  on property: has creation date
  all values from: string
subclass of: Restriction
  on property: related to
  some values from: TOK_Resource
subclass of: Restriction
  on property: used for
  all values from: Task_Operation
subclass of: Restriction
  on property: has abstract
  some values from: Abstract
subclass of: Restriction
  on property: hasURI
  all values from: string
subclass of: Restriction
  on property: has annotation
  all values from: Annotation Resource
subclass of: Restriction
  on property: has formalism
  all values from: Formalism
comment: This class is an abstraction of a Terminological and Ontological resource that is used for knowledge management and engineering.
pl: TOK_Resources
sg: TOK_Resource

Axiom
acetext: /*[SubClassOf(TOK_Resource DataAllValuesFrom(has_creation_date string))]*/
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has creation date
  all values from: string

Axiom
acetext: Every TOK_Resource is something.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Thing

Axiom
acetext: Every TOK_Resource alignes_to a TOK_Resource.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: aligned to
  some values from: TOK_Resource

Axiom
acetext: Everything that is treated_bied by a TOK_Resource is a TOK_Tool.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: treated by
  all values from: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.

Axiom
acetext: Everything that is useded_for by a TOK_Resource is a Task.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: used for
  all values from: Task_Operation

Axiom
acetext: Everything that is has_aligned by a TOK_Resource is an Alignment_Resource.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has align
  all values from: Alignment Resource

Axiom
acetext: Every TOK_Resource collection_ofs a TOK_Resource.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  some values from: TOK_Resource

Axiom
acetext: /*[SubClassOf(TOK_Resource DataAllValuesFrom(hasURI string))]*/
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: hasURI
  all values from: string

Axiom
acetext: /*[SubClassOf(TOK_Resource DataAllValuesFrom(has_location string))]*/
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has_location
  all values from: string

Axiom
acetext: Every TOK_Resource has_entities a TOK_Entity.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has entity
  some values from: TOK Entity

Axiom
acetext: Every TOK_Resource relateds_to a TOK_Resource.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: related to
  some values from: TOK_Resource

Axiom
acetext: /*[SubClassOf(TOK_Resource DataAllValuesFrom(has_Name string))]*/
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has_Name
  all values from: string

Axiom
acetext: Every TOK_Resource has_abstracts an Abstract.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has abstract
  some values from: Abstract

Axiom
acetext: Everything that is developed_bied by a TOK_Resource is a Party.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: developed by
  all values from: Party

Axiom
acetext: Everything that is has_formalismed by a TOK_Resource is a Formalism.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has formalism
  all values from: Formalism

Axiom
acetext: /* MOS: TOK_Resource subClassOf has_entitynumber only integer */
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has_entitynumber
  all values from: integer

Axiom
acetext: < HTML > < HEAD > < META HTTP-EQUIV= "REFRESH" CONTENT= "0;URL=http://attempto.ifi.uzh.ch/service/owl_verbalizer/owl_to_ace" > </ HEAD > < BODY > </ BODY > </ HTML >.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has_model
  some values from: TOK_Conent_Model

Axiom
acetext: Everything that is has_languaged by a TOK_Resource is a Language.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has_language
  all values from: Language

Axiom
acetext: /*[SubClassOf(TOK_Resource DataAllValuesFrom(has_keywords string))]*/
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has_keywords
  all values from: string

Axiom
acetext: Everything that is has_annotationed by a TOK_Resource is an Annotation_Resource.
annotated source: TOK_Resource
annotated property: subClassOf
annotated target: Restriction
  on property: has annotation
  all values from: Annotation Resource

this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.
type: Class
subclass of: Thing
pl: TOK_Tools
sg: TOK_Tool

Axiom
acetext: Every TOK_Tool is something.
annotated source: this is an abstraction of different tools that may be applied on TOK resources. The usage of tools may be various relatively to the nature of the task to perform and the nature of the resource.
annotated property: subClassOf
annotated target: Thing

Term
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: evolutes in
  all values from: Domain
subclass of: Restriction
  on property: descibes
  all values from: Class
    union of: Concept
    union of: Domain
    union of: Topic
subclass of: Restriction
  on property: has scope
  all values from: Scope Note
subclass of: Restriction
  on property: has index
  some values from: Index Resource
subclass of: Restriction
  on property: set as
  all values from: Single Word Noun
subclass of: Restriction
  on property: descibes
  some values from: Concept
subclass of: Restriction
  on property: has_lexicalForm
  some values from: Lexical_Form
sg: Term
pl: Terms
comment: a type of topic which models a single term in a resource. in a thesaurus a term is a single word or a phrase.

Axiom
acetext: Every Term has_indexes an Index_Resource.
annotated source: Term
annotated property: subClassOf
annotated target: Restriction
  on property: has index
  some values from: Index Resource

Axiom
acetext: Everything that is descibesed by a Term is something that is a Concept or that is a Domain or that is a Topic.
annotated source: Term
annotated property: subClassOf
annotated target: Restriction
  on property: descibes
  all values from: Class
    union of: Concept
    union of: Domain
    union of: Topic

Axiom
acetext: Every Term is a TOK_Entity.
annotated target: TOK Entity
annotated source: Term
annotated property: subClassOf

Axiom
acetext: Everything that is evolutesed_in by a Term is a Domain.
annotated source: Term
annotated property: subClassOf
annotated target: Restriction
  on property: evolutes in
  all values from: Domain

Axiom
acetext: Every Term descibeses a Concept.
annotated source: Term
annotated property: subClassOf
annotated target: Restriction
  on property: descibes
  some values from: Concept

Axiom
acetext: Everything that is has_scoped by a Term is a Scope_Note.
annotated source: Term
annotated property: subClassOf
annotated target: Restriction
  on property: has scope
  all values from: Scope Note

Axiom
acetext: Everything that is set_as by a Term is a Single_Word_Noun.
annotated source: Term
annotated property: subClassOf
annotated target: Restriction
  on property: set as
  all values from: Single Word Noun

Axiom
acetext: Every Term has_lexicalForm a Lexical_Form.
annotated source: Term
annotated property: subClassOf
annotated target: Restriction
  on property: has_lexicalForm
  some values from: Lexical_Form

Terminologic_Knowledge_Base
type: Class
subclass of: Ontology
pl: Terminologic_Knowledge_Bases
sg: Terminologic_Knowledge_Base

Axiom
acetext: Every Terminologic_Knowledge_Base is an Ontology.
annotated target: Ontology
annotated source: Terminologic_Knowledge_Base
annotated property: subClassOf

Terminology
type: Class
subclass of: Autonomous_Resource
subclass of: Restriction
  on property: collection of
  all values from: Term
subclass of: Restriction
  on property: applied to
  all values from: Specific Language
sg: Terminology
pl: Termoinologies

Axiom
acetext: Everything that is applieded_to by a Terminology is a Specific_Language.
annotated source: Terminology
annotated property: subClassOf
annotated target: Restriction
  on property: applied to
  all values from: Specific Language

Axiom
acetext: Everything that is collection_ofed by a Terminology is a Term.
annotated source: Terminology
annotated property: subClassOf
annotated target: Restriction
  on property: collection of
  all values from: Term

Test_Corpus
type: Class
subclass of: Corpus
subclass of: Restriction
  on property: used for
  some values from: Testing
sg: Test_Corpora
pl: Test_Corporas

Axiom
acetext: Every Test_Corpora useds_for a Testing.
annotated source: Test_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: used for
  some values from: Testing

Axiom
acetext: Every Test_Corpus is a Corpus.
annotated target: Corpus
annotated source: Test_Corpus
annotated property: subClassOf

Testing
type: Class
subclass of: Task_Operation
comment: this is the action of testing which is a task that uses TOK resources
pl: Testings
sg: Testing

Axiom
acetext: Every Testing is a Task.
annotated target: Task_Operation
annotated source: Testing
annotated property: subClassOf

Text
type: Class
subclass of: Content
subclass of: Restriction
  on property: devided to
  all values from: Sentence
pl: Texts
sg: Text

Axiom
acetext: No Natural_Language_Model is a Text.
annotated source: Natural Language Model
annotated target: Text
annotated property: disjointWith

Axiom
acetext: Everything that is devideded_to by a Text is a Sentence.
annotated source: Text
annotated property: subClassOf
annotated target: Restriction
  on property: devided to
  all values from: Sentence

Axiom
acetext: Every Text is a Content.
annotated target: Content
annotated source: Text
annotated property: subClassOf

Text Article
type: Class
subclass of: Doc Structure
sg: Text_Article
pl: Text_Articles

Axiom
acetext: Every Text_Article is a Doc_Structure.
annotated target: Doc Structure
annotated source: Text Article
annotated property: subClassOf

Thesauri relation
type: Class
subclass of: Entity_Relation
pl: Thesauri_relations
sg: Thesauri_relation

Axiom
acetext: Every Thesauri_relation is an Entity_Relation.
annotated target: Entity_Relation
annotated source: Thesauri relation
annotated property: subClassOf

Thesauri
type: Class
subclass of: Autonomous_Resource
subclass of: Restriction
  on property: hierarchy of
  all values from: Class
    union of: Concept
    union of: Term
subclass of: Restriction
  on property: constants
  some values from: TOK Entity
subclass of: Restriction
  on property: contains
  some values from: Chain
subclass of: Restriction
  on property: index
  some values from: TOK_Resource
subclass of: Restriction
  on property: structured by
  all values from: SKOS
subclass of: Restriction
  on property: defines relation
  all values from: Thesauri relation
sg: Thesauri
pl: Thesauris

Axiom
acetext: Everything that is defines_relationed by a Thesauri is a Thesauri_relation.
annotated source: Thesauri
annotated property: subClassOf
annotated target: Restriction
  on property: defines relation
  all values from: Thesauri relation

Axiom
acetext: Everything that is hierarchy_ofed by a Thesauri is something that is a Concept or that is a Term.
annotated source: Thesauri
annotated property: subClassOf
annotated target: Restriction
  on property: hierarchy of
  all values from: Class
    union of: Concept
    union of: Term

Axiom
acetext: Every Thesauri containses a Chain.
annotated source: Thesauri
annotated property: subClassOf
annotated target: Restriction
  on property: contains
  some values from: Chain

Axiom
acetext: Everything that is structured_bied by a Thesauri is a SKOS.
annotated source: Thesauri
annotated property: subClassOf
annotated target: Restriction
  on property: structured by
  all values from: SKOS

Axiom
acetext: Every Thesauri index a TOK_Resource.
annotated source: Thesauri
annotated property: subClassOf
annotated target: Restriction
  on property: index
  some values from: TOK_Resource

Axiom
acetext: Every Thesauri constantses a TOK_Entity.
annotated source: Thesauri
annotated property: subClassOf
annotated target: Restriction
  on property: constants
  some values from: TOK Entity

Time_Cover
type: Class
subclass of: Abstract Entities
comment: This class describes the period or the intervall of time in which the language used in the corpus evoluates. this classi is important becaus it gives precision about the vitality of a language and is an important caracteristic of a corpus.
sg: Time_Cover
pl: Time_Covers

Axiom
acetext: Every Time_Cover is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Time_Cover
annotated property: subClassOf

Topic
type: Class
subclass of: Abstract Entities
sg: Topic
pl: Topics

Axiom
acetext: Every Topic is an Abstract_Entities.
annotated target: Abstract Entities
annotated source: Topic
annotated property: subClassOf

Translation
type: Class
subclass of: Task_Operation
comment: this task is performed on TOK resources and using TOK resources in order to generate a traduction form one language o another.
sg: Translation
pl: Translations

Axiom
acetext: Every Translation is a Task.
annotated target: Task_Operation
annotated source: Translation
annotated property: subClassOf

Translation_Of
type: Class
subclass of: Form Relation

Triple
type: Class
subclass of: TOK Entity
subclass of: Restriction
  on property: predicate
  some values from: Entity_Relation
subclass of: Restriction
  on property: object
  some values from: TOK Entity
subclass of: Restriction
  on property: subject
  some values from: TOK Entity
pl: Triples
sg: Triple

Axiom
acetext: Every Triple object a TOK_Entity.
annotated source: Triple
annotated property: subClassOf
annotated target: Restriction
  on property: object
  some values from: TOK Entity

Axiom
acetext: Every Triple subject a TOK_Entity.
annotated source: Triple
annotated property: subClassOf
annotated target: Restriction
  on property: subject
  some values from: TOK Entity

Axiom
acetext: Every Triple predicate an Entity_Relation.
annotated source: Triple
annotated property: subClassOf
annotated target: Restriction
  on property: predicate
  some values from: Entity_Relation

Axiom
acetext: Every Triple is a TOK_Entity.
annotated target: TOK Entity
annotated source: Triple
annotated property: subClassOf

UAL
type: Class
subclass of: TOK_Conent_Model
pl: UALs
sg: UAL

Axiom
acetext: Every UAL is a Tok_Model.
annotated target: TOK_Conent_Model
annotated source: UAL
annotated property: subClassOf

UML Diagram
type: Class
subclass of: Non Logical Approach
pl: UML_Diagrams
sg: UML_Diagram

Axiom
acetext: Every UML_Diagram is a Non_Logical_Approach.
annotated target: Non Logical Approach
annotated source: UML Diagram
annotated property: subClassOf

UnNamed_Concept
type: Class
subclass of: Defined Concept
sg: UnNamed_Concept
pl: UnNamed_Concepts

Axiom
acetext: Every UnNamed_Concept is a Defined_Concept.
annotated target: Defined Concept
annotated source: UnNamed_Concept
annotated property: subClassOf

Axiom
acetext: No Named_Concept is an UnNamed_Concept.
annotated source: Named_Concept
annotated target: UnNamed_Concept
annotated property: disjointWith

Upper_Level_Onto
type: Class
subclass of: Ontology
pl: Upper_Level_Ontoes
sg: Upper_Level_Onto

Axiom
acetext: Every Upper_Level_Onto is an Ontology.
annotated target: Ontology
annotated source: Upper_Level_Onto
annotated property: subClassOf

WN_Like
type: Class
subclass of: TOK_Conent_Model
subclass of: Restriction
  on property: uses
  all values from: Class
    union of: Concept
    union of: Lexical_Form
    union of: Term
    union of: WN Relation
pl: WN_Likes
sg: WN_Like

Axiom
acetext: Every WN_Like is a Tok_Model.
annotated target: TOK_Conent_Model
annotated source: WN_Like
annotated property: subClassOf

WP_Like
type: Class
subclass of: TOK_Conent_Model

WellFormed_Corpus
type: Class
subclass of: Corpus
subclass of: Restriction
  on property: has_language
  on class: Language
  qualified cardinality: 1
subclass of: Restriction
  on property: has register
  on class: Language_Register
  qualified cardinality: 1
subclass of: Restriction
  on property: has timeCover
  on class: Time_Cover
  qualified cardinality: 1
subclass of: Restriction
  on property: has size
  min cardinality: 1000
sg: WellFormed_Corpora
pl: WellFormed_Corporas

Axiom
acetext: Every WellFormed_Corpus has_languages exactly 1 Language.
annotated source: WellFormed_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has_language
  on class: Language
  qualified cardinality: 1

Axiom
acetext: Every WellFormed_Corpus has_registers exactly 1 Language_Register.
annotated source: WellFormed_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has register
  on class: Language_Register
  qualified cardinality: 1

Axiom
acetext: Every WellFormed_Corpus is a Corpus.
annotated target: Corpus
annotated source: WellFormed_Corpus
annotated property: subClassOf

Axiom
acetext: /*[SubClassOf(WellFormed_Corpus DataMinCardinality(1000 has_size Literal))]*/
annotated source: WellFormed_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has size
  min cardinality: 1000

Axiom
acetext: Every WellFormed_Corpus has_timeCovers exactly 1 Time_Cover.
annotated source: WellFormed_Corpus
annotated property: subClassOf
annotated target: Restriction
  on property: has timeCover
  on class: Time_Cover
  qualified cardinality: 1

hypertext
type: Class
subclass of: Doc Structure
sg: hypertext
pl: hypertexts

Axiom
acetext: Every hypertext is a Doc_Structure.
annotated target: Doc Structure
annotated source: hypertext
annotated property: subClassOf

private Standard
type: Class
subclass of: Format Specfication
sg: private_Standard
pl: private_Standards

Axiom
acetext: Every private_Standard is a Format_Specfication.
annotated target: Format Specfication
annotated source: private Standard
annotated property: subClassOf

AGROVOC
type: Thing
type: Autonomous_Resource
type: NamedIndividual
has_propertynumber: 14
has creation date: 1980
has_formnumber: 528542
has_termnumber: 52870
has_entitynumber: 52870
has_conceptnumber: 52891
has acronym: AGROVOC
has description: AGROVOC is a multilingual structured thesaurus of all subject fields in Agriculture, Forestry, Fisheries, Food security and related domains (e.g. Sustainable Development, Nutrition, etc). It consists of words or expressions (terms), in different languages and organized in relationships (e.g. "broader", "narrower", and "related"), used to identify or search resources. Its main role is to standardize the indexing process in order to make searching simpler and more efficient, and to provide users with the most relevant resources. AGROVOC is available in the five official languages at FAO, which are English, French, Spanish, Chinese and Arabic. It is also available in Czech, German, Japanese, Portuguese, Slovak and Thai. Other languages such as Hindi, Hungarian, Italian, Korean and Persian are currently either being translated or revised.
has_Name: Agricultural Information Management Standards (AIMS)
has_Name: Normes pour la gestion de l'information agricole
has_location: http://aims.fao.org/website/AGROVOC-Thesaurus/sub
sg: AGVC8

Axiom
annotated target: AGROVOC
acetext: AGROVOC has_acronym "AGROVOC".
annotated source: AGROVOC
annotated property: has acronym

Axiom
annotated target: Agricultural Information Management Standards (AIMS)
acetext: AGROVOC has_Name "Agricultural Information Management Standards (AIMS)".
annotated source: AGROVOC
annotated property: has_Name

Axiom
annotated target: 14
acetext: AGVC8 has_propertynumber 14.
annotated source: AGROVOC
annotated property: has_propertynumber

Axiom
annotated target: 52870
acetext: AGVC8 has_termnumber 52870.
annotated source: AGROVOC
annotated property: has_termnumber

Axiom
acetext: AGROVOC is an Autonomous_Resource.
annotated source: AGROVOC
annotated target: Autonomous_Resource
annotated property: type

Axiom
annotated target: AGROVOC is a multilingual structured thesaurus of all subject fields in Agriculture, Forestry, Fisheries, Food security and related domains (e.g. Sustainable Development, Nutrition, etc). It consists of words or expressions (terms), in different languages and organized in relationships (e.g. "broader", "narrower", and "related"), used to identify or search resources. Its main role is to standardize the indexing process in order to make searching simpler and more efficient, and to provide users with the most relevant resources. AGROVOC is available in the five official languages at FAO, which are English, French, Spanish, Chinese and Arabic. It is also available in Czech, German, Japanese, Portuguese, Slovak and Thai. Other languages such as Hindi, Hungarian, Italian, Korean and Persian are currently either being translated or revised.
acetext: AGROVOC has_description "AGROVOC is a multilingual structured thesaurus of all subject fields in Agriculture, Forestry, Fisheries, Food security and related domains (e.g . Sustainable Development, Nutrition, etc) . It consists of words or expressions (terms), in different languages and organized in relationships (e.g . " broader ", " narrower ", and " related "), used to identify or search resources . Its main role is to standardize the indexing process in order to make searching simpler and more efficient, and to provide users with the most relevant resources . AGROVOC is available in the five official languages at FAO, which are English, French, Spanish, Chinese and Arabic . It is also available in Czech, German, Japanese, Portuguese, Slovak and Thai . Other languages such as Hindi, Hungarian, Italian, Korean and Persian are currently either being translated or revised.".
annotated source: AGROVOC
annotated property: has description

Axiom
annotated target: 1980
acetext: AGVC8 has_creation_date "1980".
annotated source: AGROVOC
annotated property: has creation date

Axiom
annotated target: 52891
acetext: AGVC8 has_conceptnumber 52891.
annotated source: AGROVOC
annotated property: has_conceptnumber

Axiom
annotated target: 52870
acetext: AGVC8 has_entitynumber 52870.
annotated source: AGROVOC
annotated property: has_entitynumber

Axiom
annotated target: 528542
acetext: AGVC8 has_formnumber 528542.
annotated source: AGROVOC
annotated property: has_formnumber

Axiom
annotated target: Normes pour la gestion de l'information agricole
acetext: AGROVOC has_Name "Normes pour la gestion de l'information agricole".
annotated source: AGROVOC
annotated property: has_Name

Axiom
annotated target: http://aims.fao.org/website/AGROVOC-Thesaurus/sub
acetext: AGVC8 has_location "http://aims.fao.org/website/AGROVOC-Thesaurus/sub".
annotated source: AGROVOC
annotated property: has_location

Arabic
type: Thing
type: Language
type: NamedIndividual
sg: Arabic

Axiom
acetext: Arabic is a Language.
annotated source: Arabic
annotated target: Language
annotated property: type

BT
type: Thing
type: Indicator
type: NamedIndividual
type: Restriction
  on property: indicates
  all values from: Generic Term
type: Restriction
  on property: indicatorOf
  all values from: Broder Term
sg: BT

Axiom
acetext: BT is an Indicator.
annotated source: BT
annotated target: Indicator
annotated property: type

Axiom
acetext: Everything that is indicatorOf by BT is a Broder_Term.
annotated source: BT
annotated property: type
annotated target: Restriction
  on property: indicatorOf
  all values from: Broder Term

Axiom
acetext: Everything that is indicatesed by BT is a Generic_Term.
annotated source: BT
annotated property: type
annotated target: Restriction
  on property: indicates
  all values from: Generic Term

DAML-OIL
type: Thing
type: Representation Language
type: NamedIndividual
sg: DAML-OIL

Axiom
acetext: DAML-OIL is a Representation_Language.
annotated source: DAML-OIL
annotated target: Representation Language
annotated property: type

DF
type: Thing
type: Indicator
type: NamedIndividual
type: Restriction
  on property: indicatorOf
  all values from: Definition
type: Restriction
  on property: indicates
  all values from: Class
    union of: Sentence
    union of: Text
sg: DF

Axiom
acetext: Everything that is indicatorOf by DF is a Definition.
annotated source: DF
annotated property: type
annotated target: Restriction
  on property: indicatorOf
  all values from: Definition

Axiom
acetext: DF is an Indicator.
annotated source: DF
annotated target: Indicator
annotated property: type

Axiom
acetext: Everything that is indicatesed by DF is something that is a Sentence or that is a Text.
annotated source: DF
annotated property: type
annotated target: Restriction
  on property: indicates
  all values from: Class
    union of: Sentence
    union of: Text

English
type: Thing
type: Language
type: NamedIndividual
sg: English

Axiom
acetext: English is a Language.
annotated source: English
annotated target: Language
annotated property: type

French
type: Thing
type: Language
type: NamedIndividual
sg: French

Axiom
acetext: Frensh is a Language.
annotated source: French
annotated target: Language
annotated property: type

German
type: Thing
type: Language
type: NamedIndividual
sg: German

Axiom
acetext: German is a Language.
annotated source: German
annotated target: Language
annotated property: type

Hyperbook
type: Thing
type: hypertext
type: NamedIndividual
sg: Hyperbook

Axiom
acetext: Hyperbook is a hypertext.
annotated source: Hyperbook
annotated target: hypertext
annotated property: type

Italian
type: Thing
type: Language
type: NamedIndividual
sg: Italian

Axiom
acetext: Italian is a Language.
annotated source: Italian
annotated target: Language
annotated property: type

Japanese
type: Thing
type: Language
type: NamedIndividual
sg: Japanese

Axiom
acetext: Japanese is a Language.
annotated source: Japanese
annotated target: Language
annotated property: type

NT
type: Thing
type: Indicator
type: NamedIndividual
type: Restriction
  on property: indicatorOf
  all values from: Narrower Term
type: Restriction
  on property: indicates
  all values from: Specific Term
sg: NT

Axiom
acetext: NT is an Indicator.
annotated target: Indicator
annotated source: NT
annotated property: type

Axiom
acetext: Everything that is indicatorOf by NT is a Narrower_Term.
annotated source: NT
annotated property: type
annotated target: Restriction
  on property: indicatorOf
  all values from: Narrower Term

Axiom
acetext: Everything that is indicatesed by NT is a Specific_Term.
annotated source: NT
annotated property: type
annotated target: Restriction
  on property: indicates
  all values from: Specific Term

OCGL
type: Thing
type: Representation Language
type: NamedIndividual
sg: OCGL

Axiom
acetext: OCGL is a Representation_Language.
annotated source: OCGL
annotated target: Representation Language
annotated property: type

OWL-DL
type: Thing
type: Representation Language
type: NamedIndividual
sg: OWL-DL

Axiom
acetext: OWL-DL is a Representation_Language.
annotated source: OWL-DL
annotated target: Representation Language
annotated property: type

OWL-Full
type: Thing
type: Representation Language
type: NamedIndividual
sg: OWL-Full

Axiom
acetext: OWL-Full is a Representation_Language.
annotated source: OWL-Full
annotated target: Representation Language
annotated property: type

OWL-Lite
type: Thing
type: Representation Language
type: NamedIndividual
sg: OWL-Lite

Axiom
acetext: OWL-Lite is a Representation_Language.
annotated source: OWL-Lite
annotated target: Representation Language
annotated property: type

OWL-XML
type: Thing
type: Resource Syntax
type: NamedIndividual
sg: OWL-XML

Axiom
acetext: OWL-XML is a Resource_Syntax.
annotated source: OWL-XML
annotated target: Resource Syntax
annotated property: type

RDF-S
type: Thing
type: Representation Language
type: NamedIndividual
sg: RDF-S

Axiom
acetext: RDF-S is a Representation_Language.
annotated source: RDF-S
annotated target: Representation Language
annotated property: type

RDF-XML
type: Thing
type: Resource Syntax
type: NamedIndividual
sg: RDF-XML

Axiom
acetext: RDF-XML is a Resource_Syntax.
annotated source: RDF-XML
annotated target: Resource Syntax
annotated property: type

RT
type: Thing
type: Indicator
type: NamedIndividual
type: Restriction
  on property: indicates
  all values from: Related_Term
type: Restriction
  on property: indicatorOf
  all values from: Association Rel
sg: RT

Axiom
acetext: RT is an Indicator.
annotated target: Indicator
annotated source: RT
annotated property: type

Axiom
acetext: Everything that is indicatesed by RT is a Related_Term.
annotated source: RT
annotated property: type
annotated target: Restriction
  on property: indicates
  all values from: Related_Term

Axiom
acetext: Everything that is indicatorOf by RT is an Association_Rel.
annotated source: RT
annotated property: type
annotated target: Restriction
  on property: indicatorOf
  all values from: Association Rel

Russian
type: Thing
type: Language
type: NamedIndividual
sg: Russian

Axiom
acetext: Rusian is a Language.
annotated target: Language
annotated source: Russian
annotated property: type

SN
type: Thing
type: Indicator
type: NamedIndividual
type: Restriction
  on property: indicates
  all values from: Scope Note
type: Restriction
  on property: indicatorOf
  all values from: Entity_Relation
sg: SN

Axiom
acetext: Everything that is indicatesed by SN is a Scope_Note.
annotated source: SN
annotated property: type
annotated target: Restriction
  on property: indicates
  all values from: Scope Note

Axiom
acetext: Everything that is indicatorOf by SN is an Entity_Relation.
annotated source: SN
annotated property: type
annotated target: Restriction
  on property: indicatorOf
  all values from: Entity_Relation

Axiom
acetext: SN is an Indicator.
annotated target: Indicator
annotated source: SN
annotated property: type

Spanish
type: Thing
type: Language
type: NamedIndividual
sg: Spanish

Axiom
acetext: Spanish is a Language.
annotated target: Language
annotated source: Spanish
annotated property: type

Terminological Database
type: Thing
type: Terminology
type: NamedIndividual
sg: Terminological_Database

Axiom
acetext: Terminological_Database is a Terminology.
annotated source: Terminological Database
annotated target: Terminology
annotated property: type

UF
type: Thing
type: Indicator
type: NamedIndividual
type: Restriction
  on property: indicatorOf
  all values from: Thesauri relation
type: Restriction
  on property: indicates
  all values from: Non Preferred Term
sg: UF

Axiom
acetext: Everything that is indicatesed by UF is a Non_Preferred_Term.
annotated source: UF
annotated property: type
annotated target: Restriction
  on property: indicates
  all values from: Non Preferred Term

Axiom
acetext: Everything that is indicatorOf by UF is a Thesauri_relation.
annotated source: UF
annotated property: type
annotated target: Restriction
  on property: indicatorOf
  all values from: Thesauri relation

Axiom
acetext: UF is an Indicator.
annotated target: Indicator
annotated source: UF
annotated property: type

USE
type: Thing
type: Indicator
type: NamedIndividual
type: Restriction
  on property: indicatorOf
  all values from: Thesauri relation
type: Restriction
  on property: indicates
  all values from: Preferred Term
sg: USE

Axiom
acetext: Everything that is indicatorOf by USE is a Thesauri_relation.
annotated source: USE
annotated property: type
annotated target: Restriction
  on property: indicatorOf
  all values from: Thesauri relation

Axiom
acetext: USE is an Indicator.
annotated target: Indicator
annotated source: USE
annotated property: type

Axiom
acetext: Everything that is indicatesed by USE is a Preferred_Term.
annotated source: USE
annotated property: type
annotated target: Restriction
  on property: indicates
  all values from: Preferred Term

WebPage
type: Thing
type: hypertext
type: NamedIndividual
sg: WebPage

Axiom
acetext: WebPage is a hypertext.
annotated source: WebPage
annotated target: hypertext
annotated property: type

Wiki
type: Thing
type: hypertext
type: NamedIndividual
sg: Wiki

Axiom
acetext: Wiki is a hypertext.
annotated source: Wiki
annotated target: hypertext
annotated property: type

index_list
type: Thing
type: Index Resource
type: NamedIndividual
sg: index_list

Axiom
acetext: index_list is an Index_Resource.
annotated target: Index Resource
annotated source: index_list
annotated property: type

index_table
type: Thing
type: Index Resource
type: NamedIndividual
sg: index_table

Axiom
acetext: index_table is an Index_Resource.
annotated target: Index Resource
annotated source: index_table
annotated property: type

term_index
type: Thing
type: Index Resource
type: NamedIndividual
sg: term_index

Axiom
acetext: term_index is an Index_Resource.
annotated target: Index Resource
annotated source: term_index
annotated property: type