├── LICENSE ├── README.md ├── documentation ├── PHI 637 Logic for Ontologies Syllabus Fall 2024.docx ├── contributing.md └── etiquette.md ├── projects ├── README.md ├── project-1 │ ├── assignment │ │ └── owl-cheat-sheet.md │ └── readings │ │ ├── Description Logic Primer.pdf │ │ └── Keet - Ontology Engineering.pdf ├── project-2 │ └── assignment │ │ └── sparql-library.md ├── project-3 │ ├── BORO Primer.ppsx │ ├── Building Ontologies with Basic Formal Ontology (1).pdf │ ├── Common Core Ontologies Camera Ready.pdf │ └── assignment │ │ └── ontology-board-game.md ├── project-4 │ └── assignment │ │ └── shacl-library.md └── project-5 │ └── readings │ ├── Evaluating Foundational Ontologies.pdf │ ├── Ontology Evaluation Methods.pdf │ └── Ontology Evaluation Survey.pdf └── slides ├── Logic for Ontologists Lecture 1 Fall 2024.pdf ├── Logic for Ontologists Lecture 2 Fall 2024.pdf ├── Logic for Ontologists Lecture 3 Fall 2024.pdf ├── Logic for Ontologists Lecture 4 Fall 2024.pdf ├── Logic for Ontologists Lecture 5 Fall 2024.pdf ├── Logic for Ontologists Lecture 6 Fall 2024.pdf └── Logic for Ontologists Lecture 8.pdf /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/README.md -------------------------------------------------------------------------------- /documentation/PHI 637 Logic for Ontologies Syllabus Fall 2024.docx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/documentation/PHI 637 Logic for Ontologies Syllabus Fall 2024.docx -------------------------------------------------------------------------------- /documentation/contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/documentation/contributing.md -------------------------------------------------------------------------------- /documentation/etiquette.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/documentation/etiquette.md -------------------------------------------------------------------------------- /projects/README.md: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /projects/project-1/assignment/owl-cheat-sheet.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-1/assignment/owl-cheat-sheet.md -------------------------------------------------------------------------------- /projects/project-1/readings/Description Logic Primer.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-1/readings/Description Logic Primer.pdf -------------------------------------------------------------------------------- /projects/project-1/readings/Keet - Ontology Engineering.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-1/readings/Keet - Ontology Engineering.pdf -------------------------------------------------------------------------------- /projects/project-2/assignment/sparql-library.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-2/assignment/sparql-library.md -------------------------------------------------------------------------------- /projects/project-3/BORO Primer.ppsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-3/BORO Primer.ppsx -------------------------------------------------------------------------------- /projects/project-3/Building Ontologies with Basic Formal Ontology (1).pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-3/Building Ontologies with Basic Formal Ontology (1).pdf -------------------------------------------------------------------------------- /projects/project-3/Common Core Ontologies Camera Ready.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-3/Common Core Ontologies Camera Ready.pdf -------------------------------------------------------------------------------- /projects/project-3/assignment/ontology-board-game.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-3/assignment/ontology-board-game.md -------------------------------------------------------------------------------- /projects/project-4/assignment/shacl-library.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-4/assignment/shacl-library.md -------------------------------------------------------------------------------- /projects/project-5/readings/Evaluating Foundational Ontologies.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-5/readings/Evaluating Foundational Ontologies.pdf -------------------------------------------------------------------------------- /projects/project-5/readings/Ontology Evaluation Methods.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-5/readings/Ontology Evaluation Methods.pdf -------------------------------------------------------------------------------- /projects/project-5/readings/Ontology Evaluation Survey.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/projects/project-5/readings/Ontology Evaluation Survey.pdf -------------------------------------------------------------------------------- /slides/Logic for Ontologists Lecture 1 Fall 2024.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/slides/Logic for Ontologists Lecture 1 Fall 2024.pdf -------------------------------------------------------------------------------- /slides/Logic for Ontologists Lecture 2 Fall 2024.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/slides/Logic for Ontologists Lecture 2 Fall 2024.pdf -------------------------------------------------------------------------------- /slides/Logic for Ontologists Lecture 3 Fall 2024.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/slides/Logic for Ontologists Lecture 3 Fall 2024.pdf -------------------------------------------------------------------------------- /slides/Logic for Ontologists Lecture 4 Fall 2024.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/slides/Logic for Ontologists Lecture 4 Fall 2024.pdf -------------------------------------------------------------------------------- /slides/Logic for Ontologists Lecture 5 Fall 2024.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/slides/Logic for Ontologists Lecture 5 Fall 2024.pdf -------------------------------------------------------------------------------- /slides/Logic for Ontologists Lecture 6 Fall 2024.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/slides/Logic for Ontologists Lecture 6 Fall 2024.pdf -------------------------------------------------------------------------------- /slides/Logic for Ontologists Lecture 8.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Applied-Ontology-Education/Logic-for-Ontologists-Fall-2024/HEAD/slides/Logic for Ontologists Lecture 8.pdf --------------------------------------------------------------------------------