Logics

1 logic currently available show only logics with models

Name IRI
(heterogeneous) Distributed models 0 distributed models 0 child models
OWL http://purl.net/dol/logics/OWL 2 Ontologies with 0 distributed models

Your models

For storing and seeing your models, sign in. No account yet? Sign up!