Filename	Summary + Labels	Uploaded	Size	DownloadCount	...
	infixOwl.pdf	InfixOWL: An Idiomatic Interface for OWL   Featured	Nov 2008	51.5 KB	477
	agentem2.jpg	Agentem protocol 2/2	Nov 2007	48.0 KB	275
	agentem.jpg	Agentem protocol 1/2	Nov 2007	97.4 KB	280
	rete-ul-unlinking-FSM.png	RETE-UL Unlinking FSM	Sep 2007	31.7 KB	3069
	witches-pf.png	Witch Proof	Sep 2007	116 KB	4139
	witches.jpg	Witch Proof	Sep 2007	52.2 KB	130
	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	414
	pomr.py	Sample usage of FuXi.Syntax.InfixOWL   Featured	Aug 2007	8.8 KB	964
	rete-ul-join-node.png	Beta (Join) Node Implementation	Jul 2007	47.3 KB	3490
	negative-conditions.png	RETE-UL network for negated conditions	Jul 2007	18.2 KB	189
	MT-KR-Geneology.png	Geneology of FOL / DL / LP   Featured	Jul 2007	343 KB	1372
	KR-Geneology.svg	KR Geneology as SVG	Jul 2007	32.0 KB	392
	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	881
	DL-SHIOF.n3	Simple N3 ruleset for SHIOF Description Logics	Mar 2007	1.0 KB	442
	pD-rules.n3	N3 ruleset from Herman J. ter Horst's pD* (axiomatic semantics for OWL/RDFS)   Featured	Mar 2007	6.6 KB	853