Login / Signup

The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization.

Christoph LangeOliver KutzTill MossakowskiMichael 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