Error importing file to sandbox: 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.8 KB	2025-08-02 09:37	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:37	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:37	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:36	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:36	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.8 KB	2025-08-02 09:36	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.8 KB	2025-08-02 09:36	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.8 KB	2025-08-02 09:36	1	Sandbox	View Implications Edit in Sandbox
ontology_contract.owl	0.8 KB	2025-08-02 09:36	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.8 KB	2025-08-02 09:35	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	11.0 KB	2025-08-02 09:35	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:35	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.8 KB	2025-08-02 09:35	1	Sandbox	View Implications Edit in Sandbox
Litigation_Ontology_1.owl	0.8 KB	2025-08-02 09:35	1	Sandbox	View Implications Edit in Sandbox
DigitalObjects.owl	0.8 KB	2025-08-02 09:34	1	Sandbox	View Implications Edit in Sandbox
converter.owl	0.8 KB	2025-08-02 09:34	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	0.8 KB	2025-08-02 09:34	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	0.8 KB	2025-08-02 09:34	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:34	1	Sandbox	View Implications Edit in Sandbox
ontology_contract.owl	0.8 KB	2025-08-02 09:34	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:23	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:23	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-08-02 09:23	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-02 07:50	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.9 KB	2025-08-02 07:13	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.9 KB	2025-08-02 07:12	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-02 06:18	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-02 06:18	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.9 KB	2025-08-02 06:18	1	Sandbox	View Implications Edit in Sandbox
converter.owl	8.9 KB	2025-08-02 06:18	1	Sandbox	View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl	0.9 KB	2025-08-02 06:18	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-02 05:32	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-08-02 05:20	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-02 05:08	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-02 05:08	1	Sandbox	View Implications Edit in Sandbox
full_corporate_ontology_structured.owl	10.4 KB	2025-08-02 05:07	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-02 05:07	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-02 05:07	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-02 04:40	1	Sandbox	View Implications Edit in Sandbox
DigitalObjects.owl	0.9 KB	2025-08-01 18:03	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 18:03	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 18:03	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 18:02	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 18:02	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-08-01 18:02	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 18:01	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 18:01	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_2_1.owl	0.9 KB	2025-08-01 16:37	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 16:36	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 16:36	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 16:36	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-08-01 16:36	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 16:36	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 16:35	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 16:35	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_2_1.owl	0.9 KB	2025-08-01 16:35	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 16:35	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 16:35	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 16:34	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 16:34	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 16:34	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 16:34	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 16:33	1	Sandbox	View Implications Edit in Sandbox
DigitalObjects.owl	0.9 KB	2025-08-01 16:33	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 16:33	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:17	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_2_1.owl	0.9 KB	2025-08-01 15:17	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:17	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:17	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:17	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:16	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:16	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:16	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-08-01 15:16	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 15:15	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-08-01 15:15	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 15:15	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:14	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 15:14	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_2_1.owl	0.9 KB	2025-08-01 15:14	1	Sandbox	View Implications Edit in Sandbox
Democracy.owl	0.9 KB	2025-08-01 15:14	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:13	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 15:13	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 15:13	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:13	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:13	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 15:12	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_2_1.owl	0.9 KB	2025-08-01 15:12	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 15:12	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 15:11	1	Sandbox	View Implications Edit in Sandbox
DigitalObjects.owl	0.9 KB	2025-08-01 15:11	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:11	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:11	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:11	1	Sandbox	View Implications Edit in Sandbox
DigitalObjects.owl	0.9 KB	2025-08-01 15:11	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:10	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 15:10	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:46	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:45	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_2_1.owl	0.9 KB	2025-08-01 13:45	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-08-01 13:45	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:45	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:45	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-08-01 13:45	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:44	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:44	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:44	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:44	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:44	1	Sandbox	View Implications Edit in Sandbox
DigitalObjects.owl	0.9 KB	2025-08-01 13:44	1	Sandbox	View Implications Edit in Sandbox
Litigation_Ontology_1.owl	0.9 KB	2025-08-01 13:43	1	Sandbox	View Implications Edit in Sandbox
converter.owl	8.9 KB	2025-08-01 13:43	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 13:43	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:43	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 13:43	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 13:42	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:42	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:42	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:42	1	Sandbox	View Implications Edit in Sandbox
Litigation_Ontology_1.owl	0.9 KB	2025-08-01 13:41	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-08-01 13:41	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 13:41	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 13:41	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:40	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:40	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:40	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:40	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:40	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:40	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:39	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:39	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:39	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:39	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 13:38	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-08-01 13:38	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:38	1	Sandbox	View Implications Edit in Sandbox
Litigation_Ontology_1.owl	0.9 KB	2025-08-01 13:37	1	Sandbox	View Implications Edit in Sandbox
DigitalObjects.owl	0.9 KB	2025-08-01 13:37	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-08-01 13:37	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-30 20:43	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	0.9 KB	2025-07-29 17:00	1	Sandbox	View Implications Edit in Sandbox
ontology_contract.owl	0.9 KB	2025-07-29 17:00	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	12.7 KB	2025-07-29 17:00	1	Sandbox	View Implications Edit in Sandbox
LegalFacts.owl	0.9 KB	2025-07-29 17:00	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:59	1	Sandbox	View Implications Edit in Sandbox
Ontology_of_Jurisdiction.owl	0.9 KB	2025-07-29 16:59	1	Sandbox	View Implications Edit in Sandbox
ontology_contract.owl	0.9 KB	2025-07-29 16:59	1	Sandbox	View Implications Edit in Sandbox
converter.owl	0.9 KB	2025-07-29 16:59	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-07-29 16:58	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:58	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:58	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	12.7 KB	2025-07-29 16:57	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.9 KB	2025-07-29 16:57	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	0.9 KB	2025-07-29 16:57	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	12.7 KB	2025-07-29 16:56	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:56	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:56	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-07-29 16:55	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:55	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-07-29 16:55	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:55	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.9 KB	2025-07-29 16:55	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:54	1	Sandbox	View Implications Edit in Sandbox
ontology_contract.owl	0.9 KB	2025-07-29 16:54	1	Sandbox	View Implications Edit in Sandbox
OntologyIDAnonymous-275165.owl	0.9 KB	2025-07-29 16:53	1	Sandbox	View Implications Edit in Sandbox
DigitalObjects.owl	0.9 KB	2025-07-29 16:53	1	Sandbox	View Implications Edit in Sandbox
integrated_ontology_cyberspace_1.owl	0.9 KB	2025-07-29 16:53	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.9 KB	2025-07-29 16:53	1	Sandbox	View Implications Edit in Sandbox
legal_ontology_cleaned.owl	0.9 KB	2025-07-29 16:53	1	Sandbox	View Implications Edit in Sandbox
full_corporate_ontology_structured.owl	0.9 KB	2025-07-29 16:52	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-07-29 16:11	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.9 KB	2025-07-29 16:04	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-07-29 15:50	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.8 KB	2025-07-29 15:49	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_3.owl	0.8 KB	2025-07-29 15:49	1	Sandbox	View Implications Edit in Sandbox
LegalFacts_1.owl	0.8 KB	2025-07-29 15:49	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