Logics
1 logic currently available but only 1 logic has models defined show all logics
Name | IRI | |||
---|---|---|---|---|
(heterogeneous) Distributed models | 0 distributed models | 0 child models | ||
OWL | http://purl.net/dol/logics/OWL | 2 Ontologies | with 0 distributed models |