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