Tags
entailments
diagrammatic description
logical statements
axioms
signatures
locality
guarantees
safety
conservative extensions
modularity
ontology engineering
See more