TOC PREV NEXT INDEX


SHOE Ontology Example "CS Department"


<HTML>

<HEAD>

<!-- Here we indicate that this document is conformant with SHOE 1.0 -->

<META HTTP-EQUIV="SHOE" CONTENT="VERSION=1.0">

<TITLE> Our CS Ontology </TITLE>

</HEAD>

<BODY>

<!-- Here we declare the ontology's name and version -->

<ONTOLOGY ID="cs-dept-ontology" VERSION="1.0">

<!-- Here we declare that we're borrowing from another ontology -->

<USE-ONTOLOGY ID="base-ontology" VERSION="1.0" PREFIX="base"

URL="http://www.cs.umd.edu/projects/plus/SHOE/base.html">

<!-- Here we lay out our category hierarchy -->

<DEF-CATEGORY NAME="Organization" ISA="base.SHOEEntity">

<DEF-CATEGORY NAME="Person" ISA="base.SHOEEntity">

<DEF-CATEGORY NAME="Publication" ISA="base.SHOEEntity">

<DEF-CATEGORY NAME="ResearchGroup" ISA="Organization">

<DEF-CATEGORY NAME="Department" ISA="Organization">

<DEF-CATEGORY NAME="Worker" ISA="Person">

<DEF-CATEGORY NAME="Faculty" ISA="Worker">

<DEF-CATEGORY NAME="Assistant" ISA="Worker">

<DEF-CATEGORY NAME="AdministrativeStaff" ISA="Worker">

<DEF-CATEGORY NAME="Student" ISA="Person">

<DEF-CATEGORY NAME="PostDoc" ISA="Faculty">

<DEF-CATEGORY NAME="Lecturer" ISA="Faculty">

<DEF-CATEGORY NAME="Professor" ISA="Faculty">

<DEF-CATEGORY NAME="ResearchAssistant" ISA="Assistant">

<DEF-CATEGORY NAME="TeachingAssistant" ISA="Assistant">

<DEF-CATEGORY NAME="GraduateStudent" ISA="Student">

<DEF-CATEGORY NAME="UndergraduateStudent" ISA="Student">

<DEF-CATEGORY NAME="Secretary" ISA="AdministrativeStaff">

<DEF-CATEGORY NAME="Chair" ISA="AdministrativeStaff Professor">

<!-- And now we lay out our relationships between categories -->

<DEF-RELATION NAME="advisor">

<DEF-ARG POS="1" TYPE="Student">

<DEF-ARG POS="2" TYPE="Professor">

</DEF-RELATION>

<DEF-RELATION NAME="member">

<DEF-ARG POS="1" TYPE="Organization">

<DEF-ARG POS="2" TYPE="Person">

</DEF-RELATION>

<DEF-RELATION NAME="publicationAuthor">

<DEF-ARG POS="1" TYPE="Publication">

<DEF-ARG POS="2" TYPE="Person">

</DEF-RELATION>

<!-- Lastly, we lay out our other relationships -->

<DEF-RELATION NAME="publicationDate">

<DEF-ARG POS="1" TYPE="Publication">

<DEF-ARG POS="2" TYPE=".DATE">

</DEF-RELATION>

<DEF-RELATION NAME="age">

<DEF-ARG POS="1" TYPE="Person">

<DEF-ARG POS="2" TYPE=".NUMBER">

</DEF-RELATION>

<DEF-RELATION NAME="name">

<DEF-ARG POS="1" TYPE="base.SHOEEntity">

<DEF-ARG POS="2" TYPE=".STRING">

</DEF-RELATION>

<DEF-RELATION NAME="tenured">

<DEF-ARG POS="1" TYPE="Professor">

<DEF-ARG POS="2" TYPE=".TRUTH">

</DEF-RELATION>

</ONTOLOGY>

</BODY>

</HTML>

<DEF-INFERENCE DESCRIPTION="Transitivity of Suborganizations">

<INF-IF>

<RELATION NAME="subOrganization">

<ARG POS="FROM" VALUE="x" USAGE="VAR">

<ARG POS="TO" VALUE="y" USAGE="VAR">

</RELATION>

<RELATION NAME="subOrganization">

<ARG POS="FROM" VALUE="y" USAGE="VAR">

<ARG POS="TO" VALUE="z" USAGE="VAR">

</RELATION>

</INF-IF>

<INF-THEN>

<RELATION NAME="subOrganization">

<ARG POS="FROM" VALUE="x" USAGE="VAR">

<ARG POS="TO" VALUE="z" USAGE="VAR">

</RELATION>

</INF-THEN>

</DEF-INFERENCE>

5 Modularity

Modules can be added to a ontology by the <USE-ONTOLOGY> operation and adjusted with <DEF-RENAME>.

Modules are added conjunctively or disjunctively, that is hierarchically, to the ontology tree or lattice with a general ontology at its root.

The dynamics of the Dynamic Ontologies (Heflin, Hendler) are restricted to their hierarchical and mono-contextural order.

SHOE Semantics

Revisioning

Versioning



ThinkArt Lab

TOC PREV NEXT INDEX