Computer Science – Logic in Computer Science
Scientific paper
2012-04-23
Computer Science
Logic in Computer Science
Conference on Intelligent Computer Mathematics, July 9-14, Bremen, Germany. Published as number 7362 in Lecture Notes in Artif
Scientific paper
The Distributed Ontology Language (DOL) is currently being standardized within the OntoIOp (Ontology Integration and Interoperability) activity of ISO/TC 37/SC 3. It aims at providing a unified framework for (1) ontologies formalized in heterogeneous logics, (2) modular ontologies, (3) links between ontologies, and (4) annotation of ontologies. This paper focuses on an application of DOL's meta-theoretical features in mathematical formalization: validating relationships between ontological formalizations of mathematical concepts in COLORE (Common Logic Repository), which provide the foundation for formalizing real-world notions such as spatial and temporal relations.
Grüninger Michael
Kutz Oliver
Lange Christoph
Mossakowski Till
No associations
LandOfFree
The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-444540