-
Lange, C.: Ontologies and languages for representing mathematical knowledge on the Semantic Web (2011)
0.02
0.018784717 = product of:
0.037569433 = sum of:
0.037569433 = product of:
0.07513887 = sum of:
0.07513887 = weight(_text_:2.0 in 135) [ClassicSimilarity], result of:
0.07513887 = score(doc=135,freq=2.0), product of:
0.29315117 = queryWeight, product of:
5.799733 = idf(docFreq=363, maxDocs=44218)
0.050545633 = queryNorm
0.2563144 = fieldWeight in 135, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
5.799733 = idf(docFreq=363, maxDocs=44218)
0.03125 = fieldNorm(doc=135)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Abstract
- Mathematics is a ubiquitous foundation of science, technology, and engineering. Specific areas, such as numeric and symbolic computation or logics, enjoy considerable software support. Working mathematicians have recently started to adopt Web 2.0 environment, such as blogs and wikis, but these systems lack machine support for knowledge organization and reuse, and they are disconnected from tools such as computer algebra systems or interactive proof assistants.We argue that such scenarios will benefit from Semantic Web technology. Conversely, mathematics is still underrepresented on the Web of [Linked] Data. There are mathematics-related Linked Data, for example statistical government data or scientific publication databases, but their mathematical semantics has not yet been modeled. We argue that the services for the Web of Data will benefit from a deeper representation of mathematical knowledge. Mathematical knowledge comprises logical and functional structures - formulæ, statements, and theories -, a mixture of rigorous natural language and symbolic notation in documents, application-specific metadata, and discussions about conceptualizations, formalizations, proofs, and (counter-)examples. Our review of approaches to representing these structures covers ontologies for mathematical problems, proofs, interlinked scientific publications, scientific discourse, as well as mathematical metadata vocabularies and domain knowledge from pure and applied mathematics. Many fields of mathematics have not yet been implemented as proper Semantic Web ontologies; however, we show that MathML and OpenMath, the standard XML-based exchange languages for mathematical knowledge, can be fully integrated with RDF representations in order to contribute existing mathematical knowledge to theWeb of Data. We conclude with a roadmap for getting the mathematical Web of Data started: what datasets to publish, how to interlink them, and how to take advantage of these new connections.
-
Drewer, P.; Massion, F; Pulitano, D: Was haben Wissensmodellierung, Wissensstrukturierung, künstliche Intelligenz und Terminologie miteinander zu tun? (2017)
0.02
0.017120589 = product of:
0.034241177 = sum of:
0.034241177 = product of:
0.068482354 = sum of:
0.068482354 = weight(_text_:22 in 5576) [ClassicSimilarity], result of:
0.068482354 = score(doc=5576,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.38690117 = fieldWeight in 5576, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.078125 = fieldNorm(doc=5576)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 13.12.2017 14:17:22
-
Tudhope, D.; Hodge, G.: Terminology registries (2007)
0.02
0.017120589 = product of:
0.034241177 = sum of:
0.034241177 = product of:
0.068482354 = sum of:
0.068482354 = weight(_text_:22 in 539) [ClassicSimilarity], result of:
0.068482354 = score(doc=539,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.38690117 = fieldWeight in 539, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.078125 = fieldNorm(doc=539)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 26.12.2011 13:22:07
-
Fischer, D.H.: Converting a thesaurus to OWL : Notes on the paper "The National Cancer Institute's Thesaurus and Ontology" (2004)
0.02
0.016436627 = product of:
0.032873254 = sum of:
0.032873254 = product of:
0.06574651 = sum of:
0.06574651 = weight(_text_:2.0 in 2362) [ClassicSimilarity], result of:
0.06574651 = score(doc=2362,freq=2.0), product of:
0.29315117 = queryWeight, product of:
5.799733 = idf(docFreq=363, maxDocs=44218)
0.050545633 = queryNorm
0.2242751 = fieldWeight in 2362, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
5.799733 = idf(docFreq=363, maxDocs=44218)
0.02734375 = fieldNorm(doc=2362)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Abstract
- The paper analysed here is a kind of position paper. In order to get a better under-standing of the reported work I used the retrieval interface of the thesaurus, the so-called NCI DTS Browser accessible via the Web3, and I perused the cited OWL file4 with numerous "Find" and "Find next" string searches. In addition the file was im-ported into Protégé 2000, Release 2.0, with OWL Plugin 1.0 and Racer Plugin 1.7.14. At the end of the paper's introduction the authors say: "In the following sections, this paper will describe the terminology development process at NCI, and the issues associated with converting a description logic based nomenclature to a semantically rich OWL ontology." While I will not deal with the first part, i.e. the terminology development process at NCI, I do not see the thesaurus as a description logic based nomenclature, or its cur-rent state and conversion already result in a "rich" OWL ontology. What does "rich" mean here? According to my view there is a great quantity of concepts and links but a very poor description logic structure which enables inferences. And what does the fol-lowing really mean, which is said a few lines previously: "Although editors have defined a number of named ontologic relations to support the description-logic based structure of the Thesaurus, additional relation-ships are considered for inclusion as required to support dependent applications."
-
OWL Web Ontology Language Test Cases (2004)
0.01
0.01369647 = product of:
0.02739294 = sum of:
0.02739294 = product of:
0.05478588 = sum of:
0.05478588 = weight(_text_:22 in 4685) [ClassicSimilarity], result of:
0.05478588 = score(doc=4685,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.30952093 = fieldWeight in 4685, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0625 = fieldNorm(doc=4685)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 14. 8.2011 13:33:22
-
Hauff-Hartig, S.: Wissensrepräsentation durch RDF: Drei angewandte Forschungsbeispiele : Bitte recht vielfältig: Wie Wissensgraphen, Disco und FaBiO Struktur in Mangas und die Humanities bringen (2021)
0.01
0.01369647 = product of:
0.02739294 = sum of:
0.02739294 = product of:
0.05478588 = sum of:
0.05478588 = weight(_text_:22 in 318) [ClassicSimilarity], result of:
0.05478588 = score(doc=318,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.30952093 = fieldWeight in 318, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0625 = fieldNorm(doc=318)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 22. 5.2021 12:43:05
-
Knorz, G.; Rein, B.: Semantische Suche in einer Hochschulontologie : Ontologie-basiertes Information-Filtering und -Retrieval mit relationalen Datenbanken (2005)
0.01
0.011984412 = product of:
0.023968823 = sum of:
0.023968823 = product of:
0.047937647 = sum of:
0.047937647 = weight(_text_:22 in 4324) [ClassicSimilarity], result of:
0.047937647 = score(doc=4324,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.2708308 = fieldWeight in 4324, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0546875 = fieldNorm(doc=4324)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 11. 2.2011 18:22:25
-
Mayfield, J.; Finin, T.: Information retrieval on the Semantic Web : integrating inference and retrieval
0.01
0.011984412 = product of:
0.023968823 = sum of:
0.023968823 = product of:
0.047937647 = sum of:
0.047937647 = weight(_text_:22 in 4330) [ClassicSimilarity], result of:
0.047937647 = score(doc=4330,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.2708308 = fieldWeight in 4330, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0546875 = fieldNorm(doc=4330)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 12. 2.2011 17:35:22
-
Priss, U.: Faceted knowledge representation (1999)
0.01
0.011984412 = product of:
0.023968823 = sum of:
0.023968823 = product of:
0.047937647 = sum of:
0.047937647 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
0.047937647 = score(doc=2654,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.2708308 = fieldWeight in 2654, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0546875 = fieldNorm(doc=2654)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 22. 1.2016 17:30:31
-
Definition of the CIDOC Conceptual Reference Model (2003)
0.01
0.010272353 = product of:
0.020544706 = sum of:
0.020544706 = product of:
0.04108941 = sum of:
0.04108941 = weight(_text_:22 in 1652) [ClassicSimilarity], result of:
0.04108941 = score(doc=1652,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.23214069 = fieldWeight in 1652, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.046875 = fieldNorm(doc=1652)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 6. 8.2010 14:22:28
-
Hollink, L.; Assem, M. van: Estimating the relevance of search results in the Culture-Web : a study of semantic distance measures (2010)
0.01
0.010272353 = product of:
0.020544706 = sum of:
0.020544706 = product of:
0.04108941 = sum of:
0.04108941 = weight(_text_:22 in 4649) [ClassicSimilarity], result of:
0.04108941 = score(doc=4649,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.23214069 = fieldWeight in 4649, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.046875 = fieldNorm(doc=4649)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 26.12.2011 13:40:22
-
Bittner, T.; Donnelly, M.; Winter, S.: Ontology and semantic interoperability (2006)
0.01
0.010272353 = product of:
0.020544706 = sum of:
0.020544706 = product of:
0.04108941 = sum of:
0.04108941 = weight(_text_:22 in 4820) [ClassicSimilarity], result of:
0.04108941 = score(doc=4820,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.23214069 = fieldWeight in 4820, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.046875 = fieldNorm(doc=4820)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 3.12.2016 18:39:22
-
Priss, U.: Description logic and faceted knowledge representation (1999)
0.01
0.010272353 = product of:
0.020544706 = sum of:
0.020544706 = product of:
0.04108941 = sum of:
0.04108941 = weight(_text_:22 in 2655) [ClassicSimilarity], result of:
0.04108941 = score(doc=2655,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.23214069 = fieldWeight in 2655, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.046875 = fieldNorm(doc=2655)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 22. 1.2016 17:30:31
-
Beppler, F.D.; Fonseca, F.T.; Pacheco, R.C.S.: Hermeneus: an architecture for an ontology-enabled information retrieval (2008)
0.01
0.010272353 = product of:
0.020544706 = sum of:
0.020544706 = product of:
0.04108941 = sum of:
0.04108941 = weight(_text_:22 in 3261) [ClassicSimilarity], result of:
0.04108941 = score(doc=3261,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.23214069 = fieldWeight in 3261, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.046875 = fieldNorm(doc=3261)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 28.11.2016 12:43:22
-
Monireh, E.; Sarker, M.K.; Bianchi, F.; Hitzler, P.; Doran, D.; Xie, N.: Reasoning over RDF knowledge bases using deep learning (2018)
0.01
0.008560294 = product of:
0.017120589 = sum of:
0.017120589 = product of:
0.034241177 = sum of:
0.034241177 = weight(_text_:22 in 4553) [ClassicSimilarity], result of:
0.034241177 = score(doc=4553,freq=2.0), product of:
0.17700219 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.050545633 = queryNorm
0.19345059 = fieldWeight in 4553, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.0390625 = fieldNorm(doc=4553)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Date
- 16.11.2018 14:22:01
