Analysis History

Ontology Analysis History

File Name	Size	Upload Date	Analysis Count	Source	Actions
CalProbateDiv9.owl	23.4 KB	2026-08-21 20:15	1	Upload	View Implications
ca-trust-kernel.ttl	48.6 KB	2026-08-21 19:42	0	Upload	View
repaired.owl	883.1 KB	2026-08-03 00:21	1	Upload	View Implications
cfr404-base.owl	1531.0 KB	2026-07-30 17:03	0	Upload	View
cfr404.owl	3491.5 KB	2026-07-30 17:03	0	Upload	View
CFR-DisabilityRegs.owl	515.1 KB	2026-07-30 01:11	1	Upload	View Implications
NFIP.owl	42.9 KB	2026-07-28 02:11	1	Upload	View Implications
spinoza_ethics.owl	2868.2 KB	2026-07-28 01:57	1	Upload	View Implications
GeometryofTheGood_1.owl	1596.1 KB	2026-07-16 01:19	1	Upload	View Implications
GeometryofTheGood.owl	948.3 KB	2026-07-16 00:24	1	Upload	View Implications
Ontology_of_Jurisdiction.owl	103.8 KB	2026-07-16 00:18	1	Upload	View Implications
icd11bfo_v2_1.owl	2759.4 KB	2026-07-15 20:34	1	Upload	View Implications
NFIP.owl	42.9 KB	2026-07-13 17:33	1	Upload	View Implications
coverage-kernel.owl	4.1 KB	2026-07-12 20:51	1	Upload	View Implications
icd11bfo_v2.owl	1570.1 KB	2026-07-12 16:02	1	Upload	View Implications
dsm_icd_crosswalk.owl	146.4 KB	2026-07-08 22:30	1	Upload	View Implications
icd11bfo.owl	7543.0 KB	2026-07-07 21:49	1	Upload	View Implications
DSM52022_coherent_selfcontained.owl	4855.2 KB	2026-07-07 01:06	1	Upload	View Implications
quality_disposition_straddle.owl	1.0 KB	2026-07-07 01:06	1	Upload	View Implications
DSM52022.owl	3082.0 KB	2026-07-06 21:16	1	Upload	View Implications
MF.owl	420.7 KB	2026-07-04 21:30	2	Upload	View Implications
SOoLRev2.owl	584.9 KB	2026-07-03 21:38	1	Upload	View Implications
quality_disposition_straddle.owl	1.4 KB	2026-07-03 02:12	1	Sandbox	View Implications
quality_disposition_straddle.owl	1.4 KB	2026-07-03 00:39	1	Sandbox	View Implications
quality_disposition_straddle.autofixed.owl	0.9 KB	2026-07-01 08:44	1	Upload	View Implications
quality_disposition_straddle.owl	1.4 KB	2026-07-01 02:31	1	Sandbox	View Implications
aeronautics_taxonomy_consistent.owl	429.0 KB	2026-06-30 04:41	1	Sandbox	View Implications
AristotleCategories.owl	36.6 KB	2026-06-30 01:29	1	Upload	View Implications
eco.owl	6168.7 KB	2026-06-29 22:51	1	Upload	View Implications
quality_disposition_straddle.owl	1.0 KB	2026-06-27 22:18	2	Upload	View Implications

FOL Expression Test History

Expression	Test Date	Valid	Classes Used	Non-BFO Terms
`all X.all T.(instance_of(X,force,T) -> instance_of...`	2026-06-28 12:20	Invalid	0	0
`(all x.all t.((instance_of(x,force,t)) -> (instanc...`	2026-06-26 22:59	Invalid	2	1
`all x.all t.((instance_of(x,force,t)) -> (instance...`	2026-06-26 22:57	Invalid	1	1
`(all x.all t.((instance_of(x,force,t)) -> (instanc...`	2026-06-26 22:52	Invalid	2	1
`(all x.all t.((instance_of(x,force,t)) -> (instanc...`	2026-06-26 22:48	Invalid	1	1
`(all x.all t.((instance_of(x,force,t)) -> (instanc...`	2026-06-26 22:41	Invalid	2	1
`all X.all T.(instance_of(X,force,T) -> instance_of...`	2026-06-26 22:40	Invalid	1	1
`all x.(human(x) -> mortal(x)). human(socrates). mo...`	2026-06-26 21:41	Invalid	0	0
`(cl:forall (d) (cl:if (Dog d) (cl:exists (p)...`	2026-06-26 21:40	Invalid	0	0

Back to Home Upload New Ontology