Bilal Gonen

CSCI 8351

 

*************** CIDOC CRM **************

 

The CIDOC CRM is a domain ontology. It approximates relevant expert conceptualisations underlying major documentation and metadata formats of material cultural heritage and beyond. CRM covers potentially the whole world as physical history in human perception and changing.

It represents an 'ontology' for cultural heritage information i.e., it describes, in a formal language, the explicit and implicit concepts and relations underlying the documentation structures used for cultural heritage.

Classification:

I would classify wordnet General Purpose, formal ontology.


************ GO ************

Key papers:  
 http://www.godatabase.org/dev/
http://www.geneontology.org/GO.doc.html


GO provides three structured networks of defined terms to describe gene product attributes.

GO terms are organized in structures called directed acyclic graphs (DAGs), which differ from hierarchies in that a 'child' (more specialized term) can have many 'parents' (less specialized terms).

A child term can be a subclass of (is a) or a part of its parent. For example, the child GOterm3 may be a subclass of its parent GOterm1 and a part of its other parent, GOterm2. Keep in mind that part of means can be a part of, not is always a part of: the parent need not always encompass the child.
 

Application:


DAG-Edit:  This Java application provides an interface to browse, query and edit GO or any other vocabulary that has a DAG data structure. The most current version of DAG-Edit can be downloaded from the publicly accessible source repository at SourceForge. Help documentation is now included in the program.


**************  W O R D N E T  ****************
 

Application:

WordNet 1.5 Search http://vancouver-webpages.com/wordnet/

Key papers:
http://www.cogsci.princeton.edu/~wn/

WordNet 2.0 Reference Manual http://www.cogsci.princeton.edu/~wn/doc.shtml


WordNet Bibliography http://engr.smu.edu/~rada/wnb/ 
 

Classification:
I would classify wordnet General Purpose, Semi-formal ontology


I think Wordnet is more expressive than OWL. Because whereas OWL just knows ‘is_a’ and ‘instance_of’, wordnet can express relations such as;
 

I think wordnet is very succesful. Because WordNet is an ontology that includes more than 42,000 new links between nouns and verbs.


****************** CYC ************

The Cyc inference engine performs general logical deduction (including modus ponens, modus tolens, and universal and existential quantification), with AI's well-known named inference mechanisms (inheritance, automatic classification, etc.) as special cases.

Cyc also includes several special-purpose inferencing modules for handling a few specific classes of inference. One such module handles reasoning concerning collection membership/disjointness. Others handle equality reasoning, temporal reasoning, and mathematical reasoning.
 

Application:
CycSecure has been developed by CycCorp.  CycSecure is a security risk analysis tool that capitalizes on the power and richness of the Cyc Knowledge Base and reasoning system in order to provide the network security professional with analyses of an organization's network vulnerabilities at several levels.

Classification:
I would classify Cyc General Purpose, informal ontology