 |
Semantic Laboratories
|
info@semanticlaboratories.com La Jolla, CA |
Logic and Reasoning Resources
Public resources:
| Description Logics - a link to material on description logics for knowledge representation |
| FACT++ - a link to the FACT ontology reasoner |
| Racer - middleware software for ontology reasoning |
| KOAN2 - an infrastructure for managing ontology and inferencing |
| Pellet - OWL reasoner |
Commercial resources:
Papers/Articles: