description-logics
Here are 53 public repositories matching this topic...
-
Updated
Aug 9, 2020 - Python
-
Updated
Aug 13, 2020 - Java
Basic categories and axioms for artifact description in GFO
-
Updated
Apr 4, 2024
[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++.
-
Updated
Feb 15, 2021 - C++
A suite of utility functions and applications for engineering OWL ontologies.
-
Updated
Jul 1, 2023 - Java
Logica computazionale A.A. 2022/23
-
Updated
Jul 11, 2023 - TeX
An OWL Ontology of a Sumerian Grammar
-
Updated
Jun 12, 2021
A tractable Probabilistic Graphic EL SAT solver
-
Updated
Feb 4, 2021 - Python
Ontology of Esperanto
-
Updated
Jul 17, 2017 - Web Ontology Language
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.
-
Updated
Dec 14, 2022 - Prolog
lecture notes for the "description logic" lecture @ TU Dresden
-
Updated
Feb 29, 2024 - TeX
Experiments for extracting justifications from proofs.
-
Updated
Apr 11, 2018 - Java
A tractable Graphic EL MaxSAT solver
-
Updated
Jul 6, 2023 - Python
Java project for computing concept referring expressions in order to answer general instance retrieval queries on Horn ALC ontologies
-
Updated
Apr 12, 2022 - Java
A knowledge model to describe information related to social networking platforms (Youtube).
-
Updated
Apr 13, 2024 - HTML
Dhi Qar Knowledge Base
-
Updated
Aug 22, 2017
The ontology provided is designed for an Electronics and Gadgets E-commerce site. An ontology is a formal representation of concepts and their relationships within a particular domain. In this case, the ontology aims to define and organize the various electronic devices and gadgets that can be sold on the e-commerce site.
-
Updated
Dec 18, 2023
Improve this page
Add a description, image, and links to the description-logics topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the description-logics topic, visit your repo's landing page and select "manage topics."