Logics for the Semantic Web

Hitzler, Pascal; Lehmann, Jens; Polleres, Axel

doi:10.1016/b978-0-444-51624-4.50016-2

Cited by 3 publications

(2 citation statements)

References 58 publications

(24 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As a result of the corresponding analysis, our institution of higher education for such a course, intended for the future teachers of mathematics at institutions of general secondary education, suggests the following content, expected to be taught in 90 educational hours that are organized into 3 content modules. It is clear that for the necessary self-guided work the corresponding sources of information (see, for example, [2][3][4][5][6][7][8][9][10]) are indicated.…”

Section: Methodsmentioning

confidence: 99%

On the Up-to-date Course of Mathematical Logic for the Future Math Teachers

Sinyukova¹,

Drahanyuk²,

Chepok³

2021

View full text Add to dashboard Cite

All-round development of the everyday logic of students should be considered as one of the most important tasks of general secondary education on the whole and general secondary mathematics education in particular. We discuss the problem of organization in teachers' training institutions of higher education and the expedient training of the future math teachers at institutions of general secondary education. The main goal is to ensure their ability to realize all their future professional activities and the necessary participation in forming the everyday logic of their pupils. The authors think that vocational educational program of training is that the future secondary school math teachers must contain a separate course of mathematical logic including at least 90 training hours (3 credits ECTS). Although the content filling of the course cannot be irrespective of the general level of arrangement of mathematics education in the corresponding country, it ought to be a subject of discussion of the international mathematics community and managers in the sphere of higher mathematics education. Simultaneously, the role, the place, and the expedient structure of such a course in the corresponding training programs should be under discussion. The article represents the authors' point of view on the problems indicated above. The research has a qualitative characteristic as a whole. Only some of its conclusions have statistical corroboration.

show abstract

Section: Methodsmentioning

confidence: 99%

On the Up-to-date Course of Mathematical Logic for the Future Math Teachers

Sinyukova¹,

Drahanyuk²,

Chepok³

2021

View full text Add to dashboard Cite

show abstract

“…Based on these ideas a lot of effort and research has been devoted to the World Wide Web Consortium (W3C) Semantic Web activity, 3 which in 2013 has been subsumed by -i.e., renamed to -"Data Activity". 4 In many aspects, the Semantic Web has not necessarily evolved as expected, and the biggest success stories so far do less depend on formal logics [37] than we may have expected, but more on the availability of data. Another recent article by Bernstein et al [14] takes a backwards look on the community and summarizes successes of the Semantic Web community such as the establishment of lightweight annotation vocabularies like Schema.org on Web pages, or praising the uptake of large companies such as Google, Yahoo!, Microsoft, and Facebook who are developing large knowledge graphs, which however, so far these companies mostly keep closed.…”

Section: Introductionmentioning

confidence: 99%

Data Integration for Open Data on the Web

Neumaier

Polleres

Steyskal

et al. 2017

Reasoning Web. Semantic Interoperability on the Web

Self Cite

View full text Add to dashboard Cite

Abstract. In this lecture we will discuss and introduce challenges of integrating openly available Web data and how to solve them. Firstly, while we will address this topic from the viewpoint of Semantic Web research, not all data is readily available as RDF or Linked Data, so we will give an introduction to different data formats prevalent on the Web, namely, standard formats for publishing and exchanging tabular, tree-shaped, and graph data. Secondly, not all Open Data is really completely open, so we will discuss and address issues around licences, terms of usage associated with Open Data, as well as documentation of data provenance. Thirdly, we will discuss issues connected with (meta-)data quality issues associated with Open Data on the Web and how Semantic Web techniques and vocabularies can be used to describe and remedy them. Fourth, we will address issues about searchability and integration of Open Data and discuss in how far semantic search can help to overcome these. We close with briefly summarizing further issues not covered explicitly herein, such as multi-linguality, temporal aspects (archiving, evolution, temporal querying), as well as how/whether OWL and RDFS reasoning on top of integrated open data could be help.

show abstract