\\\
wef
https://ncorlabswg.slack.com/archives/C07JFAHJ1T5
Logic for Ontologists Playlist
This repository contains the following directories:
- documentation - Syllabus for the course as well as tutorials for using Git and GitHub in this course and an etiquette guide
- projects - Six projects, each containing required readings as well as a challenging assignment to be submitted via GitHub
Artificial Intelligence communities have, for decades, worked to design computing systems able to solve complicated tasks as well as humans can. Siri, autonomous vehicles, Computer-Aided Diagnosing systems, and automated theorem provers, are examples of the fruits of such labor. For such feats of computing ingenuity to work properly, however, relevant knowledge must be represented in formalisms interpretable by computing systems.
One goal of this course is to provide students with a deep understanding of formalisms underwriting contemporary knowledge representation. We will examine several ‘Description Logics’ which reflect decidable fragments of First-Order Logic and provide formal foundations for widely used semantic web languages. Semantic web languages – such as the Resource Description Framework – in turn provide concrete vocabularies used to represent information across the web. Another goal of this course is to provide students with a deep understanding of these semantic web languages, emphasizing their importance to the development of ontologies – structured vocabularies comprised of human and computer interpretable terminological content representing entities in some domain. Students will gain competency in the application of semantic web languages to represent the philosophical commitments of one of the most important ontologies in the world: Basic Formal Ontology (BFO).
Ontology modeling of this sort is just a first step towards capturing the perplexity of human intelligence. Students will take a further step towards that goal in this course by exploring how exactly ontologies like BFO are used in the real world. To that end, students will learn to use the Protégé ontology editor to represent BFO hierarchies, automated reasoners native to Protégé to check for logical consistency, the SPARQL semantic web querying language to extract important information from BFO-conformant datasets, and the SHACL semantic web language to validate dynamic updating of BFO-conformant ontologies. Throughout, students will learn to use Github – a common version control environment in the ontology developer toolkit, and in doing so gain insight into how knowledge represented using semantic web standards is revised and maintained across a wide range of stakeholders, users, and contributors.