Description Logic - Wikipedia, The Free Encyclopedia / quote 3 of 3

Description logic vs other formalisms

A Description Logic (DL) models concepts, roles and individuals, and their relationships.The fundamental modeling concept of a DL is the axiom - a logical statement relating roles and/or concepts. This is a key difference from the frames paradigm where a frame specification declares and completely defines a class.

The description logic community uses different terminology than the first-order predicate logic community for operationally-equivalent notions; some examples are given here:

FOL vs DL class - concept property or predicate - role object - individual

The Web Ontology Language [OWL] mostly uses FOL terminology, in spite of being an implementation of a description logic.

Saved 2 July 2013 / en.wikipedia.org ↗

#concept #terminology #community #notion

Related / other sources, sharing tags

4 questions for analyzing a sw system

Question 1: What is hardwired and what isn’t? Question 2: How much agreement is there among different Web sites in their use of terminology and in the…

Where Are The Semantics In The Semantic Web? #semantics #Web-sites #concept #terminology #similarity

A close interconnection of logic and epistemology: from signification to representation

The definition of mental concepts as signa rerum also provides the basis of a close interconnection of logic and epistemology as it is characteristic…

Medieval Semiotics (meier-oeser, Stephan) #mental-concepts #signification #terminology #concept

Period names mean different things to different archaeologists

Archaeologists create terminology about periods in order to classify finds by a schema of relative chronology (periods) and to relate sequences of settlements…

Thesauri Of Historical Periods – A Proposal For Standardization. #terminology #name #culture #researchers #cultural-period #concept

Ontological pluralism

Ludwig Wittgenstein's notion of language-games argues that there is no over-arching, single, fundamental ontology, but only a patchwork of overlapping…

Pluralism (philosophy) - Wikipedia, The Free Encyclopedia #ontology #concept #number #notion #wittgenstein

Defining periods and settling terminological disputes

The design of such thesauri contributes to: the basic problems of how to define cultural periods and their interrelations (even when precise time, space and…

Thesauri Of Historical Periods – A Proposal For Standardization. #cultural-period #terminology #communication #literature

Mindstream emanation rather than rebirth

In practice, Buddhists seem to be ambivalent about the extent to which reincarnation is personal. For instance, many insist that even the terms ‘rebirth’ and…

The Ego Trick (baggini, Julian) #reincarnation #Buddhism #terminology