Locality and applications to subsumption testing and interpolation in EL and some of its extensions
CoRR. S. 1 - 42
Publikationstyp: Preprint (noch nicht publizierte Dokumente)
Sprache: Englisch
Doi/URN: 10.48550/arXiv.1311.2973
| Geprüft: | Bibliothek |
