Search (1 results, page 1 of 1)
-
×
author_ss:"Sure, Y."
-
×
theme_ss:"Semantische Interoperabilität"
-
×
theme_ss:"Wissensrepräsentation"
- Did you mean:
- rvk_ss%3a%2200 80852 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f bibliothekswesen in einzelnen L%c3%aendern und einzelne bibliotheken %2f einzelne deutsche bibliotheken %2f bibliotheken S %2f stuttgart %2f university%c3%A4tsbibliothek hohenheim%22 1
- rvk_ss%3a%2200 80852 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f bibliothekswesen in einzelnen L%c3%aendern und einzelne bibliotheken %2f einzelne deutsche bibliotheken %2f bibliotheken S %2f stuttgart %2f université%c3%A4tsbibliothek hohenheim%22 1
- rvk_ss%3a%2200 80852 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f bibliothekswesen in einzelnen L%c3%aendern und einzelne bibliotheken %2f einzelnen deutsche bibliotheken %2f bibliotheken S %2f stuttgart %2f university%c3%A4tsbibliothek hohenheim%22 1
- rvk_ss%3a%2200 80852 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f bibliothekswesen in einzelnen L%c3%aendern und einzelnen bibliotheken %2f einzelne deutsche bibliotheken %2f bibliotheken S %2f stuttgart %2f university%c3%A4tsbibliothek hohenheim%22 1
- rvk_ss%3a%2200 80852 allgemeines %2f buch- und bibliothekswesen%2c informationswissenschaft %2f bibliothekswesen %2f bibliothekswesen in einzelnen L%c3%andern und einzelne bibliotheken %2f einzelne deutsche bibliotheken %2f bibliotheken S %2f stuttgart %2f university%c3%A4tsbibliothek hohenheim%22 1
-
Krötzsch, M.; Hitzler, P.; Ehrig, M.; Sure, Y.: Category theory in ontology research : concrete gain from an abstract approach (2004 (?))
0.00
1.2472004E-4 = product of: 0.003741601 = sum of: 0.003741601 = weight(_text_:in in 4538) [ClassicSimilarity], result of: 0.003741601 = score(doc=4538,freq=4.0), product of: 0.029340398 = queryWeight, product of: 1.3602545 = idf(docFreq=30841, maxDocs=44218) 0.021569785 = queryNorm 0.12752387 = fieldWeight in 4538, product of: 2.0 = tf(freq=4.0), with freq of: 4.0 = termFreq=4.0 1.3602545 = idf(docFreq=30841, maxDocs=44218) 0.046875 = fieldNorm(doc=4538) 0.033333335 = coord(1/30)
- Abstract
- The focus of research on representing and reasoning with knowledge traditionally has been on single specifications and appropriate inference paradigms to draw conclusions from such data. Accordingly, this is also an essential aspect of ontology research which has received much attention in recent years. But ontologies introduce another new challenge based on the distributed nature of most of their applications, which requires to relate heterogeneous ontological specifications and to integrate information from multiple sources. These problems have of course been recognized, but many current approaches still lack the deep formal backgrounds on which todays reasoning paradigms are already founded. Here we propose category theory as a well-explored and very extensive mathematical foundation for modelling distributed knowledge. A particular prospect is to derive conclusions from the structure of those distributed knowledge bases, as it is for example needed when merging ontologies