Analysis History

Ontology Analysis History
File Name Size Upload Date Analysis Count Source Actions
full_corporate_ontology_structured.owl 9.0 KB 2025-08-03 19:21 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.8 KB 2025-08-03 19:21 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 11.0 KB 2025-08-03 19:21 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 19:21 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 19:21 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 19:21 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 19:20 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.8 KB 2025-08-03 19:20 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.8 KB 2025-08-03 19:20 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 19:20 1 Sandbox
View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl 0.8 KB 2025-08-03 19:20 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 19:20 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 11.0 KB 2025-08-03 19:20 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 19:17 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 19:17 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.8 KB 2025-08-03 19:17 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.8 KB 2025-08-03 19:17 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.8 KB 2025-08-03 19:17 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.8 KB 2025-08-03 19:17 0 Sandbox
View Edit in Sandbox
LegalFacts_2_1.owl 0.8 KB 2025-08-03 19:17 2 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 18:56 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 18:56 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 0.9 KB 2025-08-03 18:55 1 Sandbox
View Implications Edit in Sandbox
OntologyIDAnonymous-275165.owl 0.9 KB 2025-08-03 18:45 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.9 KB 2025-08-03 18:34 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 18:34 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.9 KB 2025-08-03 18:34 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:33 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:33 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:33 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:33 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:33 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:32 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:32 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:32 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:32 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:32 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:32 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:31 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:31 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:31 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:31 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:31 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 18:02 1 Sandbox
View Implications Edit in Sandbox
Litigation_Ontology_1.owl 0.9 KB 2025-08-03 17:57 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 17:40 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 17:39 1 Sandbox
View Implications Edit in Sandbox
DigitalObjects.owl 0.9 KB 2025-08-03 17:38 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 0.9 KB 2025-08-03 17:38 1 Sandbox
View Implications Edit in Sandbox
full_corporate_ontology_structured.owl 0.9 KB 2025-08-03 17:37 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 17:36 1 Sandbox
View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl 0.8 KB 2025-08-03 17:32 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:32 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.8 KB 2025-08-03 17:31 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:31 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 12.7 KB 2025-08-03 17:27 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 17:26 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 17:21 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 17:21 1 Sandbox
View Implications Edit in Sandbox
DigitalObjects.owl 0.9 KB 2025-08-03 17:21 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 17:21 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 17:21 1 Sandbox
View Implications Edit in Sandbox
converter.owl 0.9 KB 2025-08-03 17:21 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 17:20 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 17:20 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 17:20 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 17:20 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
converter.owl 7.6 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:11 0 Sandbox
View Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:11 2 Sandbox
View Implications Edit in Sandbox
DigitalObjects.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:11 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
converter.owl 7.6 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
Democracy.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
Litigation_Ontology_1.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.8 KB 2025-08-03 17:07 1 Sandbox
View Implications Edit in Sandbox
Sailboat_Ontology.owl 0.9 KB 2025-08-03 16:20 1 Sandbox
View Implications Edit in Sandbox
converter.owl 0.9 KB 2025-08-03 16:10 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:10 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
bfo.owl 0.8 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:09 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:08 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 16:07 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
converter.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
DigitalObjects.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 12.7 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 16:06 1 Sandbox
View Implications Edit in Sandbox
Litigation_Ontology_1.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 16:05 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_2_1.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
converter.owl 8.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:03 1 Sandbox
View Implications Edit in Sandbox
Democracy.owl 0.9 KB 2025-08-03 16:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 16:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 16:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:54 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 15:54 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 15:54 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 15:54 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:53 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:03 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:01 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 15:01 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 15:01 1 Sandbox
View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl 0.9 KB 2025-08-03 14:36 1 Sandbox
View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl 30.4 KB 2025-08-03 14:25 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 14:13 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 14:08 1 Sandbox
View Implications Edit in Sandbox
ontology_contract.owl 0.9 KB 2025-08-03 14:04 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 13:09 1 Sandbox
View Implications Edit in Sandbox
LegalFacts.owl 0.9 KB 2025-08-03 13:07 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 13:07 1 Sandbox
View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl 0.9 KB 2025-08-03 12:53 1 Sandbox
View Implications Edit in Sandbox
legal_ontology_cleaned.owl 12.7 KB 2025-08-03 12:24 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:23 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:19 1 Sandbox
View Implications Edit in Sandbox
converter.owl 0.9 KB 2025-08-03 12:02 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 12:01 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 11:59 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 11:42 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_3.owl 0.9 KB 2025-08-03 11:02 1 Sandbox
View Implications Edit in Sandbox
LegalFacts_1.owl 0.9 KB 2025-08-03 11:02 1 Sandbox
View Implications Edit in Sandbox
FOL Expression Test History
Expression Test Date Valid Classes Used Non-BFO Terms
forall x forall t (instance_of(x, continuant, t) -... 2025-07-10 11:37 Valid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-07-03 14:31 Valid 1 0
forall p forall t (instance_of(p,process,t) -> occ... 2025-05-28 19:00 Valid 1 0
forall x (instance_of(x,continuant,t) -> exists_at... 2025-05-27 03:34 Invalid 0 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-22 01:12 Valid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:58 Valid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:52 Valid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:50 Invalid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:49 Invalid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:49 Invalid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 22:48 Invalid 1 0
forall p forall t (instance_of(p,process,t) -> occ... 2025-05-21 20:14 Invalid 1 0
forall x forall t (instance_of(x,continuant,t) -> ... 2025-05-21 20:14 Invalid 1 0
exists a (occurs_in(a,a)) 2025-05-19 17:40 Valid 0 0
exists a exists occurs_in (a, a) 2025-05-19 17:38 Invalid 0 0
occurs_in(a, a) 2025-05-19 17:38 Invalid 0 0
exists a occurs_in(a, a) 2025-05-19 17:36 Invalid 0 0
P(x) -> Q(y) 2025-05-12 12:30 Invalid 0 0
forall x forall t (instance_of(x, custom_class, t)... 2025-05-12 12:19 Invalid 0 1
"forall x forall t (instance_of(x, custom_class, t... 2025-05-12 12:19 Invalid 0 0
Back to Home Upload New Ontology