Pinned Repositories
aboxer
A utility for converting axioms in OWL ontologies to assertions
cb-reasoner
Automatically exported from code.google.com/p/cb-reasoner
condor-reasoner
Automatically exported from code.google.com/p/condor-reasoner
gst-examples
GStreamer example applications
ore-2015-competition-framework
ORE 2015 Competition Framework
rw19-dl
A tutorial on Description Logics reasoning given at the 15th Reasoning Web Summer School (RW 2019)
ykazakov's Repositories
ykazakov/aboxer
A utility for converting axioms in OWL ontologies to assertions
ykazakov/cb-reasoner
Automatically exported from code.google.com/p/cb-reasoner
ykazakov/condor-reasoner
Automatically exported from code.google.com/p/condor-reasoner
ykazakov/gst-examples
GStreamer example applications
ykazakov/ore-2015-competition-framework
ORE 2015 Competition Framework
ykazakov/rw19-dl
A tutorial on Description Logics reasoning given at the 15th Reasoning Web Summer School (RW 2019)
ykazakov/docker-satpinpointing-experiments
ykazakov/domjudge
DOMjudge programming contest jury system
ykazakov/explanation-workbench
A plug-in that adds explanation facilities to the Protege Desktop ontology editor.
ykazakov/ganymede
The Ganymede Kernel is a Jupyter Notebook Java kernel based on the Java Shell tool, JShell.
ykazakov/gstreamer
ykazakov/IJava
A Jupyter kernel for executing Java code.
ykazakov/jupyter-jvm-basekernel
An abstract kernel implementation for Jupyter kernels running on the Java virtual machine.
ykazakov/jupyterhub
Multi-user server for Jupyter notebooks
ykazakov/nbgrader
A system for assigning and grading notebooks
ykazakov/nocs-book
Computer Science for Non-Computer Scientists Notebook
ykazakov/protege-autoupdate
Autoupdate files for Protege Desktop
ykazakov/protege-distribution
Build files for the protege distribution that includes 3rd party plugins
ykazakov/protege-owlapi
Extensions to the OWL API for Protege
ykazakov/RuleBasedModuleExtraction
ykazakov/satpinpointing-experiments
ykazakov/TYPO3CMS-Tutorial-Editors
This tutorial explains how to add or change content on an existing website in TYPO3. It provides the most basic instructions step by step and illustrated with screenshots.