A simple OWL Knowledge Base for a fictional E-Commerce website selling technological products, with some interesting SPARQL/DL/SQWRL queries.
-
Updated
Apr 9, 2021
A simple OWL Knowledge Base for a fictional E-Commerce website selling technological products, with some interesting SPARQL/DL/SQWRL queries.
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
Materials for the Semantic Web exam: learning the main concepts for the development of information systems based on ontologies.
LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics
Basic categories and axioms for artifact description in GFO
[IT] Progetto universitario. Linguaggio di programmazione della Logica Descrittiva realizzato con Flex, Bison e C++. [EN] University project. Description logic programming language made with Flex, Bison and C++.
SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
Logica computazionale A.A. 2022/23
An OWL Ontology of a Sumerian Grammar
A tractable Probabilistic Graphic EL SAT solver
Ontology of Esperanto
Ecriture en Prolog d’un démonstrateur basé sur l’algorithme des tableaux pour la logique de description ALC dans le cadre de l'UE de LRC.
Concept length prediction for the ALC description logic.
Experiments for extracting justifications from proofs.
Michael's Description Logic Reasoner Framework
Add a description, image, and links to the description-logics topic page so that developers can more easily learn about it.
To associate your repository with the description-logics topic, visit your repo's landing page and select "manage topics."