| Description | Pattern Domain The Elementary Graph domain defines the basic constructs for relating and classifying Elements in a directed graph. SysFEAT is based on a node-centric definition of graph that follows the principal of lexical locality. It defines the concepts of entity (Entity) and relationship (Relationship) as specific kinds of nodes. To implement the principle of locality in graph definitions, SysFEAT has adopted a layered approach of relationship formalization: 1) It starts by explicitly encoding directed edges as Kuratowski pair , <a,b> = { {a}, {a,b} }, represented as: Kuratowski's ordered pair. 2) Kuratowski's ordered pairs are then reified to create direct relationships between Entitys: Relationships. 3) Further structuring of Entitys and their Relationships is provided by the Compositionality pattern that layouts the concepts of dynamic locality and connections. |
|---|---|
| External references |
OMG - KerML - Root
Wikipedia - Upper ontology
|
| Dictionary |
SysFEAT Upper Ontology |
| Parent Domain |
Upper Ontology |
| Concept | Description |
|---|---|
Adjacency Item |
An Adjacency Item is a member of a Kuratowski's ordered pair, and represents an elementary constituent of a model, used to reference an Element. It is a basic construct to form Kuratowski's ordered pairs. An Adjacency Item is either a Reference Adjacency or a Nesting Adjacency . |
Class of Element |
A Class of Element is a collection of Elements which it classifies according to one or more criteria. In knowledge representation, a Class of Element can be defined either by extension (specifying its members), or by intension (specifying criteria), using what is called "ontology" in languages like OWL. Not two Class of Elements have the same membership. However, a distinction must be made between a Class of Element having members, and those members being known, so within an information system the members recorded may change over time, even though the true membership does not change.
|
Element |
An Element is an elementary constituent of a model. It is the top level abstraction of the SysFEAT upper ontology. |