Will my Ontologies Fit Together? +,
CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL +,
Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support + Has topic
| Category:Conservative Extension |
Categories Logics +
|
