#

krss

Here are 3 public repositories matching this topic...

lambdamikel / RacerPorter

An Ontology Visualization & Authoring Workbench for KRSS-Based Description Logic & OWL Reasoners

lisp common-lisp owl ontology knowledge-graph knowledge-base capi description-logics ontology-editor ontology-visualization owl2 lispworks krss owl-reasoners lispworks-capi kb-editor

Updated Mar 16, 2021
Common Lisp

lifr-reasoner / lifr

LiFR, the Lighweight Fuzzy semantic Reasoner.

semantic semantics logic fuzzy logic-programming fuzzy-logic reasoner reasoning krss dl-reasoning fuzzy-reasoner

Updated Oct 30, 2024
Java

lifr-reasoner / owl2lifrkrss

Semantic notation translator of OWL ontologies to a variant of the KRSS ontological notation.

semantic translator translation semantics notation semantic-web owl ontology ontologies reasoner krss lifr

Updated Oct 3, 2024
Java

Improve this page

Add a description, image, and links to the krss topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the krss topic, visit your repo's landing page and select "manage topics."