protege-plugin

There are 0 repository under protege-plugin topic.

• julianmendez / cel

  A lightweight Description Logic reasoner for large-scale biomedical ontologies

  lispjavaowl-apiprotege-pluginautomated-reasoningtu-dresden
  Language:Common Lisp 16

• julianmendez / jcel

  Reasoner for the description logic EL+.

  javaowl-apiprotege-pluginautomated-reasoningdescription-logicstu-dresdenjcel
  Language:Java 13

• kodymoodley / defeasibleinferenceplatform

  Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor

  protege-owl-editordefeasible-logicdescription-logicsowl-apiowl-ontologyprotege-plugin
  Language:Java 13

• kracr / ontoseer

  OntoSeer is a tool to help users build better quality ontologies

  ontologyontology-developmentaxiom-recommendationontology-design-patternsodp-recommendationprotege-plugin
  Language:Java 12

• andrewdbate / Sequoia

  Sequoia is a consequence-based OWL 2 DL Reasoner supporting multithreaded reasoning

  owl2owl-apiowl-ontologyprotegeprotege-pluginsemantic-web
  Language:Scala 11

• weso / protegeShEx

  Protege plugin for Shape Expressions

  shexprotege-pluginshape-expressionsprotege
  Language:Java 6

• julianmendez / ontocomp

  Protégé plugin for completing OWL ontologies

  javaformal-concept-analysisowl-apiprotege-pluginontology-completiontu-dresden
  Language:Java 4

• psiotwo / sdlnot-rules

  SPARQL-DL Not rules - A Protege 4 plugin for running SPARQL CONSTRUCT queries as SPARQL-DL Not rules.

  owlsparql-dlsparqlprotege-pluginsdlnot-rulessparql-construct-queries
  Language:Java 3

• julianmendez / uel

  Tool for finding unifiers in the description logic EL

  javaunificationowl-apiprotege-pluginvisual-interfacetu-dresden
  Language:Java 2

• kbss-cvut / owldiff

  OWL Comparison Tool

  owldiffowl2owldiffcomparisonswingjavaprotege-plugin
  Language:Java 2

• KITE-Cloud / AOWLN

  A Protégé plugin for visualising SWRL rules using our proposed AOWLN notation.

  protege-pluginvisualisationswrl-rulesowlontology
  Language:Java 2

• julianmendez / gel

  Generalization algorithms for the description logics EL and extensions.

  javaowl-apiprotege-plugingeneralizationtu-dresdenjcel
  Language:Java 1

• KITE-Cloud / SRE

  A Protégé plugin for debugging SWRL rules using our proposed SRE algorithm.

  owlswrl-rulesontologyprotege-plugindebugging-tool
  Language:Java 1

• ubbdst / protege-owl-plugin

  Protégé 3.6 OWL plugin from the University of Bergen Library

  owl-pluginprotege-plugin
  Language:Java 1

• baixixi2020 / Protege5.7

  Protege resources like notes, codes, materials etc.

  protegeprotege-plugin
  0

• rolandbernard / protege-weakening

  Protégé plugin that adds support for axiom weakening

  axiom-weakeningontology-repairowlowl2protege-plugin
  Language:Java

• ubbdst / id-generator-widget

  Protege slot-widget plugin for generating universal unique identifier (UUID) for a new instance.

  javaprotege-pluginuuid
  Language:Java