Topic: description-logics Goto Github
Some thing interesting about description-logics
Some thing interesting about description-logics
description-logics,Random syntax generator with reasoner and LSTM
User: aaroneberhart
description-logics,ALC reasoner experiment with syntax generator
User: aaroneberhart
description-logics,A simple OWL Knowledge Base for a fictional E-Commerce website selling technological products, with some interesting SPARQL/DL/SQWRL queries.
User: alessandramonaco
description-logics,high-performance description logic reasoner
User: amannm
description-logics,A tractable Graphic EL MaxSAT solver
User: andrewijano
description-logics,A tractable Probabilistic Graphic EL SAT solver
User: andrewijano
Home Page: https://linux.ime.usp.br/~andrew/mac0499/
description-logics,LogMap extension for conservativity principle
User: asolimando
description-logics,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.
User: b0gz1b
description-logics,[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++.
User: carlogalatolo
description-logics,
Organization: comenius-abduction-team
description-logics,LLM-Driven Knowledge Extraction: Results in Temporal and Description Logics
User: damianoduranti
description-logics, Ontology of Esperanto
User: delpix
description-logics,An OWL Ontology of a Sumerian Grammar
User: delpix
description-logics,EvoLearner: Learning Description Logics with Evolutionary Algorithms
Organization: dice-group
description-logics,Concept length prediction for the ALC description logic.
Organization: dice-group
description-logics,Ontolearn is an open-source software library for explainable structured machine learning in Python. It learns OWL class expressions from positive and negative examples.
Organization: dice-group
Home Page: https://ontolearn-docs-dice-group.netlify.app/index.html
description-logics,Logica computazionale A.A. 2022/23
User: elblasco
description-logics,Dhi Qar Knowledge Base
User: epistematica
description-logics,Ontology of Esperanto
User: epistematica
description-logics,An OWL Ontology of a Sumerian Grammar
User: epistematica
description-logics,
User: farif
description-logics,
User: farif
description-logics,Files from the "Further Topics in Description Logics" seminar held at TU Dresden in WS 2017/18.
User: filippodebortoli
description-logics,Materials for the Semantic Web exam: learning the main concepts for the development of information systems based on ontologies.
User: francescapoli98
description-logics,Concept Explorer FX (conexp-fx)
User: francesco-kriegel
Home Page: https://francesco-kriegel.github.io/conexp-fx/
description-logics,🤖Man-machine conversation system base on owlready2, inspirited by an Korean TV play (基于 owlready2 的问答系统。灵感来自韩剧《金秘书你为何这样》)
User: freakwill
description-logics,Basic categories and axioms for artifact description in GFO
User: hannafiegen
description-logics,The rustoner project aims to create a description logic reasoner in rust. Benefit ting of the fast nature of the language, we aim to combine logic with newly developed numeric ideas to enhance query answering
User: hatellezp
description-logics,Formalizing ALC (and someday Fuzzy ALC) in Lean
User: james-oswald
description-logics,Reasoner for the description logic EL+.
User: julianmendez
Home Page: https://julianmendez.github.io/jcel/
description-logics,Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
User: kodymoodley
description-logics,A neuro-symbolic reasoner for the EL++ description logic.
Organization: kracr
description-logics,DLMAPS = Description Logic Maps: Ontology-Based Spatial Queries to Digital City Maps
User: lambdamikel
Home Page: https://www.michael-wessel.info
description-logics,An Editor with Generic Semantics for Formal Reasoning About Visual Notations
User: lambdamikel
Home Page: https://www.michael-wessel.info
description-logics,Michael's Description Logic Reasoner Framework
User: lambdamikel
description-logics,A Common Lisp Framework for the Semantic Web
User: lambdamikel
Home Page: https://www.michael-wessel.info/
description-logics,An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners
User: lambdamikel
Home Page: https://www.michael-wessel.info
description-logics,Experiments for extracting justifications from proofs.
Organization: liveontologies
description-logics,Java project for computing concept referring expressions in order to answer general instance retrieval queries on Horn ALC ontologies
User: m-illich
description-logics,A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with deep neural networks
User: maxadamski
description-logics,lecture notes for the "description logic" lecture @ TU Dresden
User: maximilianmoeller
description-logics,CEX3 is a prototype tool for computing three types of logical differences between two ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple) role inclusions.
User: michel-ludwig
description-logics,A Preferential Reasoner for Ontologies
User: mindfulmichaeljames
description-logics,A knowledge model to describe information related to social networking platforms (Youtube).
User: naveenvarmak
Home Page: https://naveenvarmak.github.io/Youtube_Ontology/
description-logics,SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
User: pseifer
description-logics,A suite of utility functions and applications for engineering OWL ontologies.
User: rolandbernard
description-logics,TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
User: rzese
Home Page: http://trill.lamping.unife.it/
description-logics,
User: stamby93
description-logics,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.
User: tareqchy1
description-logics,Python bindings for upgraded FaCT++ description logic reasoner
Organization: tilde-lab
Home Page: https://bitbucket.org/dtsarkov/factplusplus
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.