以下是引用wanggou在2008-12-15 14:27:00的发言：
常见的推理机，你参考一下下面这个连接
http://www.cs.man.ac.uk/~sattler/reasoners.html
|
为方便大家阅读，我来把内容贴一下：
Current DESCRIPTION LOGIC REASONERS
* CEL is a free (for non-commercial use) LISP-based reasoner for EL+. It implements a refined version of a known polynomial-time classification algorithm and supports new features like module extraction and axiom pinpointing. Currently, it accepts inputs in a small extension of the KRSS syntax and supports the DIG interface.
* Cerebra Engine is a commercial C++-based reasoner. It implements a tableau-based decision procedure for general TBoxes (subsumption, satisfiability, classification) and ABoxes (retrieval, tree-conjunctive query answering using a XQuery-like syntax). It supports the OWL-API and comes with numerous other features.
* FaCT++ is a free (GPL/LGPL) open-source C++-based reasoner for SROIQ with simple datatypes (i.e., for OWL 2). It implements a tableau-based decision procedure for general TBoxes (subsumption, satisfiability, classification) and ABoxes (retrieval). It supports the OWL-API, the lisp-API and the DIG interface.
* fuzzyDL is a free Java/C++ based reasoner for fuzzy SHIF with concrete fuzzy concepts (explicit definition of fuzzy sets + modifiers). It implements a tableau + Mixed Integer Linear Programming optimization decision procedure to compute the maximal degree of subsumption and instance checking w.r.t. a general TBox and Abox. It supports Zadeh semantics, Lukasiewicz semantics and is backward compatible with classical description logic reasoning.
* HermiT is a free (under LGPL license) Java reasoner for SHIQ with description graphs. It implements a hypertableau-based decision procedure for general TBoxes and description graphs. It uses the KAON2 API.
* KAON2 is a free (free for non-commercial usage) Java reasoner for SHIQ extended with the DL-safe fragment of SWRL. It implements a resolution-based decision procedure for general TBoxes (subsumption, satisfiability, classification) and ABoxes (retrieval, conjunctive query answering). It comes with its own, Java-based interface, and supports the DIG interface.
* MSPASS is a free open-source C reasoner for numerous description logics. It implements a resolution-based decision procedure for extensions of ALB (which is ALC with inverse and Boolean operators on roles) with general TBoxes (satisfiability, subsumption) and ABoxes (instance checking, retrieval). It is an extension of the theorem prover SPASS, and can thus also be used to reason about arbitrary first-order statements.
* Pellet is a free open-source Java-based reasoner for SROIQ with simple datatypes (i.e., for OWL 1.1). It implements a tableau-based decision procedure for general TBoxes (subsumption, satisfiability, classification) and ABoxes (retrieval, conjunctive query answering). It supports the OWL-API, the DIG interface, and the Jena interface and comes with numerous other features.
* QuOnto is a free (for non-commercial use) Java-based reasoner for DL-lite with GCIs. It implements a query rewriting algorithm for both consistency checking and query answering for unions of conjunctive queries over DL-Lite knowledge bases, whose ABox is managed through relational database technology. It comes with its own Java-based interface.
* RacerPro is a commercial (free trials and research licenses are available) lisp-based reasoner for SHIQ with simple datatypes (i.e., for OWL-DL with qualified number restrictions, but without nominals). It implements a tableau-based decision procedure for general TBoxes (subsumption, satisfiability, classification) and ABoxes (retrieval, nRQL query answering). It supports the OWL-API and the DIG interface and comes with numerous other features.
* SHER is a commercial (free for academic use) Java-based reasoner for SHIN. It is based on Pellet and uses database technology to reason about SHIN TBoxes and ABoxes (retrieval, conjunctive query answering).
DESCRIPTION LOGIC REASONERS which are no longer actively supported
* BACK
* CLASSIC
* CICLOP
* CRACK
* DLP
* FaCT
* FLEX
* HAM-ALC
* K-REP
* KRIS
* LOOM
* *SAT
* YAK
[返回] 计算机科学论坛 →
W3CHINA.ORG讨论区 - Web新技术讨论 → 『 RSS/FOAF/Dublin Core/CIM/PRISM/Gene Ontology 』 → 国外在语义网上的推理系统有哪些？
(订阅本版)
2008/12/15 10:28:00
新浪微博
国外在语义网上的推理系统有哪些？
