File not found. The file may have been corrupted during upload. Please try uploading again.
Error analyzing OWL file: 404 Not Found: The requested URL was not found on the server. If you entered the URL manually please check your spelling and try again.
File not found. The file may have been corrupted during upload. Please try uploading again.
Error generating BVSS visualization: 404 Not Found: The requested URL was not found on the server. If you entered the URL manually please check your spelling and try again.
Analysis History
Ontology Analysis History
File Name | Size | Upload Date | Analysis Count | Source | Actions |
---|---|---|---|---|---|
LegalFacts_3.owl | 0.9 KB | 2025-08-03 14:13 | 1 | Sandbox | |
ontology_contract.owl | 0.9 KB | 2025-08-03 14:08 | 1 | Sandbox | |
ontology_contract.owl | 0.9 KB | 2025-08-03 14:04 | 1 | Sandbox | |
LegalFacts_1.owl | 0.9 KB | 2025-08-03 13:09 | 1 | Sandbox | |
LegalFacts.owl | 0.9 KB | 2025-08-03 13:07 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-03 13:07 | 1 | Sandbox | |
Ontology_of_Jurisdiction.owl | 0.9 KB | 2025-08-03 12:53 | 1 | Sandbox | |
legal_ontology_cleaned.owl | 12.7 KB | 2025-08-03 12:24 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-03 12:23 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-03 12:19 | 1 | Sandbox | |
converter.owl | 0.9 KB | 2025-08-03 12:02 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-03 12:01 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-03 11:59 | 1 | Sandbox | |
LegalFacts_1.owl | 0.9 KB | 2025-08-03 11:42 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-03 11:02 | 1 | Sandbox | |
LegalFacts_1.owl | 0.9 KB | 2025-08-03 11:02 | 1 | Sandbox | |
LegalFacts_3.owl | 0.8 KB | 2025-08-03 02:43 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-03 01:59 | 1 | Sandbox | |
ontology_contract.owl | 0.8 KB | 2025-08-03 00:58 | 1 | Sandbox | |
LegalFacts_3.owl | 0.8 KB | 2025-08-03 00:58 | 1 | Sandbox | |
LegalFacts_3.owl | 0.8 KB | 2025-08-03 00:57 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-02 19:12 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-02 18:11 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-02 18:11 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-02 18:10 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-02 17:51 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-02 17:50 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-02 15:23 | 1 | Sandbox | |
LegalFacts_3.owl | 0.9 KB | 2025-08-02 15:23 | 1 | 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 |