Login / Signup
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.
Christoph Lange
Oliver Kutz
Till Mossakowski
Michael Grüninger
Published in:
AISC/MKM/Calculemus (2012)
Keyphrases
</>
ontology integration
semantic web
ontology mapping
ontology languages
information systems
description logics
np complete
inference rules
owl dl
fuzzy ontology