Webstructor Ontology

Contents

If you want to get into philosophical foundation of Webstructor, this page describes basic ontology embedded into Visual Mind Worlds engine and illustrates how it can be applied to some practical example.

Basic Concepts

Anything

Thing

Name

Property

Is (Substance vs Appearance)

Has (Possession vs Belonging)

 

Basic Binary Relations

Thing Is Anything

Is(Thing,Anything)

Name Is Anything

Is(Name,Anything)

Property Is Anything

Is(Property,Anything)

Is Is Property

Is(Is,Property)

Has Is Property

Is(Has,Property)

Thing Has Is

Has(Thing,Is)

Thing Has Has

Has(Thing,Has)

Thing Has Name

Has(Thing,Name)

Property Has Thing

Has(Property,Thing)

 

Simple Sample

Consider the following statement.

"Animal is thing and alive while alive is thing. Animal has extremities and size while extremity is thing while size is property. Size has measure while measure is thing".

Let us get down from English and binary predicates to ORL notation use in the system.

Pseudo-English

Human is Thing. Human is Alive.

Alive is Thing.

Human has Extremities. Human has Size.

Extremity is Thing.

Size is Property.

Size has Measure.

Measure is Thing.

Binary predicates

Is(Human,Thing); Is(Human,Alive)

Is(Alive,Thing)

Has(Human,Extremity); Has(Human,Size)

Is(Extremity,Thing)

Is(Size,Property)

Has(Size,Measure)

Is(Measure,Thing)

ORL

THING name Alive;;

THING name Measure;;

PROPERTY name Size; has (Measure);;

THING name Extremity; is (Thing);;

THING name Human; is (Alive); has (Extremities), (Size);;

 

Note: In current implementation of Webstructor/VisualMindWorlds, Name is not used as separate entity but it is wrapped by entire Idea concept (associated with symbolic name and/or semantic image).

Contents

(C) Copyright 1988-1998,2001 Anton Kolonin