Back ... ... ... ... ... ... ... ... ... ... ... Send comments into The OntologyStream... ... ... ... ... ... ... ... ... ... ... Forward

 

General Intrusion Detection paper for Industry Review (10 pages) .:.:.

 

VADER   ==    Visual Abstraction Database for Emergency Response

 

Short White Papers

                   

 

       Event Types                                        Incident Transparency

Free Software and Tutorials

           

 

Cyber Defense Knowledge Base            Automated Citation Indexing

 

 

Advanced Tutorials and Journal

 

 


 

 

Note (February 28, 2002):

 

We claim that applied semiotics (theory of sign systems for control) and specific experimental work from quantum neurodynamics has produced a new result from category theory.  We have found a way to automatically create formative ontology in a few seconds using a generalization of latent semantic indexing.  We call this visualAbstraction.  The results can be written out as topic maps, in KIF or in XML with RDF.  Once written out it can be annotated with HyTime and inference tags.

 

But the origin of the situated ontology is controlled using a simple browser and ANY data source, such as a text collection, a collection of bitmaps, intrusion detection systems audit logs, EM reading from deep space, or the notes from a music score.

 

A collection of visualAbstractions is like the set of counting numbers.  The visualAbstractions are NOT real objects.  They are abstractions. 

 

We define a "real object" as something that has a location and a boundary condition.  The counting numbers do not have location or boundary conditions. VisualAbstractions do not have location or boundary conditions.

 

VisualAbstraction is the "zero for KM".

 

Without visualAbstraction machine-based knowledge representation cannot be given situated scope.  With the zero for KM, ontology is formative within a few seconds.  Visual navigation corresponds with human perception and thought within a Knowledge Operating System.  Like the zero for accounting, the collection of visualAbstractions allow for arithmetic.

 

In this case, the arithmetic is a stratified category theory with formal homoeomorphism within both topology and elementary number theory.