Filename	Summary + Labels	Uploaded	Size	DownloadCount	...
	infixOwl.pdf	InfixOWL: An Idiomatic Interface for OWL   Featured	Nov 2008	51.5 KB	467
	agentem2.jpg	Agentem protocol 2/2	Nov 2007	48.0 KB	271
	agentem.jpg	Agentem protocol 1/2	Nov 2007	97.4 KB	276
	rete-ul-unlinking-FSM.png	RETE-UL Unlinking FSM	Sep 2007	31.7 KB	3057
	witches-pf.png	Witch Proof	Sep 2007	116 KB	4138
	witches.jpg	Witch Proof	Sep 2007	52.2 KB	129
	dan_network.png	Dan's home region is texas RETE-UL network	Sep 2007	81.1 KB	246
	dan.png	Dan's home region is texas proof	Sep 2007	70.8 KB	4193
	reason.rdf.html	Reason.3 ontology overview	Sep 2007	16.3 KB	408
	pomr.py	Sample usage of FuXi.Syntax.InfixOWL   Featured	Aug 2007	8.8 KB	950
	rete-ul-join-node.png	Beta (Join) Node Implementation	Jul 2007	47.3 KB	3478
	negative-conditions.png	RETE-UL network for negated conditions	Jul 2007	18.2 KB	186
	MT-KR-Geneology.png	Geneology of FOL / DL / LP   Featured	Jul 2007	343 KB	1367
	KR-Geneology.svg	KR Geneology as SVG	Jul 2007	32.0 KB	389
	GALEN-CABG-Segment.txt	Large extract from GALEN ontology (focused around coronary artery anatomy) into OWL and serialized to Manchester OWL   Featured	Apr 2007	193 KB	875
	DL-SHIOF.n3	Simple N3 ruleset for SHIOF Description Logics	Mar 2007	1.0 KB	436
	pD-rules.n3	N3 ruleset from Herman J. ter Horst's pD* (axiomatic semantics for OWL/RDFS)   Featured	Mar 2007	6.6 KB	845