This pattern has been certified.

Related submission, with evaluation history, can be found here

If you are a member of quality committee please visit the evaluation section If you are author of this proposal or you want to contribute to this pattern's review, you can: ask for a review post your open review specify if this revision takes in account any of the review(s) add a new scenario for InformationObjectsAndRepresentationLanguages In general, it could be useful to visit the evaluation section to have information about the evaluation process of this proposal Current revision ID: 7223

conceptualizes (owl:ObjectProperty) A relation stating that an Agent is internally representing a SocialObject . E.g., 'John believes in the conspiracy theory'; 'Niels Bohr created the solar-system metaphor for the atomic theory'; 'Jacques assumes all swans are white'; 'the task force members share the attack plan'.

formallyRepresents (owl:ObjectProperty) The relation between formal expressions, and anything that they are supposed to represent.

E.g., 'the predicate 'MariachiInTijuana' formallyRepresents the dul:Collection of all mariachis in Tijuana'; 'the equivalence relation '<=>' formallyRepresents the concept of two entities having the same properties'.

Notice that formal expressions are formally interpreted by instances of dul:FormalEntity

hasRepresentationLanguage (owl:ObjectProperty)

isConceptualizedBy (owl:ObjectProperty) A relation stating that an Agent is internally representing a Description . E.g., 'John believes in the conspiracy theory'; 'Niels Bohr created a solar-system metaphor for his atomic theory'; 'Jacques assumes all swans are white'; 'the task force shares the attack plan'.

isFormallyRepresentedIn (owl:ObjectProperty) The relation between formal expressions, and anything that they are supposed to represent.

E.g., 'the predicate 'MariachiInTijuana' formallyRepresents the dul:Collection of all mariachis in Tijuana'; 'the equivalence relation '<=>' formallyRepresents the concept of two entities having the same properties'.

Notice that formal expressions are formally interpreted by instances of dul:FormalEntity

isRepresentationLanguageOf (owl:ObjectProperty)

FormalExpression (owl:Class) Any information object represented in a FormalLanguage, usually having a formal interpretation by a dul:FormalEntity, and used to formally represent any Entity

FormalLanguage (owl:Class) A formal language, created by some human, with a fixed grammar, and usually with an explicit formal semantics (i.e. its elements have an interpretation wrt to formal entities such as sets, categories, etc.).

IconicLanguage (owl:Class) A language made up of graphical elements. It can be natural, artificial, and even formal.

IconicObject (owl:Class) An information object represented in an IconicLanguage

Language (owl:Class) A natural or artificial language, provided with an alphabet (or vocabulary) and combinatorial rules. In the case of natural languages, their components are 'temporary' and 'reconstructed' out of actual usage. For example, a grammar for a natural language has the status of a theory for that language, and alternative ones can exist (e.g. generative vs. construction grammars).

Another distinction, between the general (systemic) rules for a language, and the local (contextual) rules for e.g. a certain context, speaker, place, etc., can be made separately.

The most comprehensive classification of languages ha probably been made by Umberto Eco, based on the production modes of the 'signs' that are represented in a certain language. It uses several semiotic dimensions, and will be modeled in a forthcoming ontology.

LinguisticObject (owl:Class) An information object represented in a NaturalLanguage

NaturalLanguage (owl:Class) A natural language, evolved and used in a community across time.

Natural languages components are 'temporary' and 'reconstructed' out of actual usage. For example, a grammar for a (part of a) natural language has the status of a theory for that language, but alternative ones can exist (e.g. generative vs. construction grammars).