| File |
Summary + Labels |
Uploaded |
Size |
|
Method-diagram.jpg
|
method-diagram
|
Dec 31, 2010 |
136.88KB |
|
objective-diagram.jpg
|
diagram of segmentation / alignment method
|
Dec 31, 2010 |
97.96KB |
|
infixOwl.pdf
|
InfixOWL: An Idiomatic Interface for OWL
Type-Docs
OpSys-All
Featured
|
Nov 3, 2008 |
51.49KB |
|
agentem2.jpg
|
Agentem protocol 2/2
|
Nov 23, 2007 |
48.02KB |
|
agentem.jpg
|
Agentem protocol 1/2
|
Nov 23, 2007 |
97.36KB |
|
rete-ul-unlinking-FSM.png
|
RETE-UL Unlinking FSM
Type-Docs
|
Sep 15, 2007 |
31.74KB |
|
witches-pf.png
|
Witch Proof
|
Sep 9, 2007 |
116.77KB |
|
witches.jpg
|
Witch Proof
|
Sep 9, 2007 |
52.23KB |
|
dan_network.png
|
Dan's home region is texas RETE-UL network
|
Sep 9, 2007 |
81.07KB |
|
dan.png
|
Dan's home region is texas proof
|
Sep 9, 2007 |
70.84KB |
|
reason.rdf.html
|
Reason.3 ontology overview
Type-Docs
OpSys-All
|
Sep 7, 2007 |
16.31KB |
|
pomr.py
|
Sample usage of FuXi.Syntax.InfixOWL
Featured
Type-Docs
|
Aug 22, 2007 |
8.77KB |
|
rete-ul-join-node.png
|
Beta (Join) Node Implementation
|
Jul 21, 2007 |
47.25KB |
|
negative-conditions.png
|
RETE-UL network for negated conditions
Type-Docs
|
Jul 21, 2007 |
18.21KB |
|
MT-KR-Geneology.png
|
Geneology of FOL / DL / LP
Featured
|
Jul 21, 2007 |
343.01KB |
|
KR-Geneology.svg
|
KR Geneology as SVG
|
Jul 21, 2007 |
32KB |
|
GALEN-CABG-Segment.txt
|
Large extract from GALEN ontology (focused around coronary artery anatomy) into OWL and serialized to Manchester OWL
Featured
|
Apr 22, 2007 |
193.27KB |
|
DL-SHIOF.n3
|
Simple N3 ruleset for SHIOF Description Logics
OpSys-All
|
Mar 16, 2007 |
1.01KB |
|
pD-rules.n3
|
N3 ruleset from Herman J. ter Horst's pD* (axiomatic semantics for OWL/RDFS)
Featured
|
Mar 16, 2007 |
6.59KB |
Code
