Legal-RDF:DAGModel

From LexmlWiki

Class Relations
Superclasses
Subclasses
Unions
None
Disjoints
None
Synonyms
None
Antonyms
None
Ranges
See Also
None

A directed acyclic graph, that is, a directed graph with no directed cycles; that is, for any vertex v, there is no directed path starting and ending on v. DAGs appear in models where it doesn't make sense for a vertex to have a path to itself; for example, if an edge u→v indicates that v is a part of u, such a path would indicate that u is a part of itself, which is impossible [wikipedia].

Model: Semantics Model

Date: 1006-10
This class (and DAGNode) inherits classes intended to correspond to the simple REST protocol. All DAG models are recordable, retrievable, updatable, and deletable.
Predicate ObjectsRefines

Arc, a StatementNode Coverage

An arc that is part of the graph.

Node, a DAGNode Coverage

A node that is part of the graph that may be referenced by an Arc.

ObjectArc, a StatementNode Arc

An arc that terminates with a node other than a LiteralNode.

LiteralArc, a StatementNode Arc

An arc that terminates with a LiteralNode.

Text AttributesRefines

None

Examples
<!-- Script Examples -->
MyModel = new DAGModel;
MyModel.Node.1 = new DAGNode;
MyModel.Node.2 = new LiteralNode;
MyModel.Node.2.eng = "my title';
MyModel.Arc.1 = new StatementNode;
MyModel.Arc.1.Model = MyModel;
MyModel.Arc.1.Subject = MyModel.Node.1;
MyModel.Arc.1.Object = MyModel.Node.2;
MyModel.Arc.1.Verb = Ontology('has');
MyModel.Arc.1.Predicate = Ontology('Title');
MyModel.Arc.1.Name.eng = "has.Title.1.eng";
2006-10 Definition
<owl:Class rdf:ID='&legal;DAGModel'>
 <lgl:model rdf:resource='&lgl;SemanticsModel'/>
 <rdf:type rdf:resource='&lgl;ClassNode'/>
 <rdfs:subClassOf rdf:resource='&rdf;Description'/>
 <rdfs:subClassOf rdf:resource='&lgl;CoreResource'/>
 <rdfs:subClassOf rdf:resource='&lgl;DeletableThing'/>
 <rdfs:subClassOf rdf:resource='&lgl;RecordableThing'/>
 <rdfs:subClassOf rdf:resource='&lgl;RetrievableThing'/>
 <rdfs:subClassOf rdf:resource='&lgl;UpdatableThing'/>

 <owl:ObjectProperty rdf:about='&lgl;Arc'>
   <rdfs:subPropertyOf rdf:resource='&lgl;Coverage'/>
   <rdfs:domain rdf:resource='&lgl;DAGModel'/>
   <rdfs:range rdf:resource='&lgl;StatementNode'/>
 </owl:ObjectProperty>
 <owl:ObjectProperty rdf:about='&lgl;Node'>
   <rdfs:subPropertyOf rdf:resource='&lgl;Coverage'/>
   <rdfs:domain rdf:resource='&lgl;DAGModel'/>
   <rdfs:range rdf:resource='&lgl;DAGNode'/>
 </owl:ObjectProperty>
 <owl:ObjectProperty rdf:about='&lgl;ObjectArc'>
   <rdfs:subPropertyOf rdf:resource='&lgl;Arc'/>
   <rdfs:domain rdf:resource='&lgl;DAGModel'/>
   <rdfs:range rdf:resource='&lgl;StatementNode'/>
 </owl:ObjectProperty>
 <owl:ObjectProperty rdf:about='&lgl;LiteralArc'>
   <rdfs:subPropertyOf rdf:resource='&lgl;Arc'/>
   <rdfs:domain rdf:resource='&lgl;DAGModel'/>
   <rdfs:range rdf:resource='&lgl;StatementNode'/>
 </owl:ObjectProperty>
</owl:Class>