MMMプロジェクト: ツール調査

セマンティックWebとオントロジーのツール調査

Apollo

特徴
スロットと関係、機能、階層ビューを備えたクラス。
提供元
Knowledge Media Institute of Open University (UK )
リンク
<URL:http://apollo.open.ac.uk/index.html>


CIRCA

特徴
重み付けされた概念集合("gist")を用いて、構築した分類階層をビルトイン の汎用語彙オントロジーへマッピング。関係の定義はできない。
提供元
Applied Semantics, Inc.
リンク
<URL:none>(none)


CoGITaNT

特徴
ルール、ネストされたグラフ、投影を用いた概念グラフモデリング。
提供元
LIRMM CNRS (France)
リンク
<URL:http://cogitant.sourceforge.net/>


Coherence

特徴
XMLスキーマとRDBスキーマとの、オントロジー双方向変換。クラス及びプロパ ティ階層。ビジネスルール。
提供元
Unicorn Solutions
リンク
<URL:http://www.unicorn.com/pr-overview.htm>


Contextia

特徴
データタイプを含む基本的な概念と関係が、スキーマによって表現される。
提供元
Modulant
リンク
<URL:none>(none)


COPORUM OntoBuilder

特徴
基本的な概念と関係が、単一継承により表現される。内容から抽出された概念 および関係の表現は、WordNetの情報によって拡張されるかもしれない。
提供元
CognIT AS
リンク
<URL:http://ontoserver.cognit.no/>


DAG-Edit

特徴
part-of と is-a の混在した概念階層が、類義語および検索機能により表現さ れている。プロパティはない。
提供元
Berkeley Drosophila Genome Project (BDGP)
リンク
<URL:http://geneontology.sourceforge.net/>


DAMLImp (API)

特徴
DAML+OILの構成物。DAML+OILオントロジーの分析と操作のための基本的なJava APIライブラリ。
提供元
AT&T Government Solutions
リンク
<URL:http://codip.grci.com/Tools/Components.html>


Differential Ontology Editor (DOE)

特徴
概念の格子、概念間関係の格子、一組のインスタンスを作成。制約を用いて任 意に概念を定義することはできない。関係のドメインタイプのみを明示できる。 公理エディタは提供されていない。
提供元
National Audiovisual Institute - INA (France )
リンク
<URL:http://opales.ina.fr/public/>


Disciple Learning Agent Shell

特徴
部分的に学習されたエンティティを許可するよう拡張された、意味ネットワー クの表現と機能。オブジェクト階層、特徴階層、およびそれらの記述がフレー ムとして表現される。また、一般的な問題解決ルールはオントロジーの語彙に よって表現される。
提供元
George Mason University , Learning Agents Laboratory
リンク
<URL:http://lalab.gmu.edu/>


Domain Ontology Management Environment (DOME)

特徴
概念、関係、制約が、ERに似た仕様によってマッピングされる。
提供元
Btexact Technologies
リンク
<URL:http://more.btexact.com/projects/ibsr/dome/index.htm>


DUET

特徴
クラスダイアグラムで得られるUMLの静的構成のみを表現する。
提供元
AT&T Government Solutions
リンク
<URL:http://codip.grci.com/Tools/Tools.html>


Enterprise Semantic Platform (ESP) including Knowledge Toolkit

特徴
階層的カテゴリと、名前付けされた関係を持つ属性により構成される記述モデ ル。異種メディアコンテンツの型定義システム。エンティティに対する単純な 制約(cardinality, range)、エンティティプロパティ、および推論をサポー トするインスタンス。インスタンスの自動アサーション(assertion)およびメ ンテナンスが可能。
提供元
Semagix, Inc
リンク
<URL:http://www.semagix.com/>


EOR

特徴
三つ組みの集合としてのRDFモデル。DAML+OIL, RDFSなどのオントロジーのた めのインスタンス知識ベースを構築、挿入(注入)、問い合わせが可能。
提供元
Dublin Core Metadata Initiative
リンク
<URL:none>(none)


ExClaim & CommonKADS Workbench

特徴
記述論理モデリングおよびプリミティブ問題解決アクション。
提供元
National Institute for Research and Development in Informatics (Romania )
リンク
<URL:http://www.ici.ro/ici/expoeng/prodici/prod_12_22/pag_excl0.htm>


GALEN Case Environment (GCE)

特徴
個体へのサポートを除いた、記述論理の用語モデリング。合成概念は、それら の判断基準(他の概念との関係)に基づき自動的に分類される。新たな概念は、 インタラクティブに構築されたり、ユーザの定義したルールに従って構築され たりする。
提供元
Kermanog
リンク
<URL:http://www.kermanog.com/index.htm>


ICOM

特徴
EER(extended entity relations:拡張エンティティ関係)モデリングと、継 承階層、多次元集合(multidimentional aggregations)、複合スキーマ関係。
提供元
Free University of Bozen-Bolzano, Italy
リンク
<URL:http://www.inf.unibz.it/~franconi/icom/>


Integrated Ontology Development Environment

特徴
プロパティと関係を区別。コンテキストを反映。デフォルト推論。一時的モデ ル関係。高次関係。メタプロパティとメタ関係。
提供元
Ontology Works, Inc.
リンク
<URL:http://www.ontologyworks.com/>


IsaViz

特徴
RDFレベルの仕様をサポート。DAML+OILのような、RDFベースのモデルを明示できる。
提供元
W3 Consortium
リンク
<URL:http://www.w3.org/2001/11/IsaViz/>


JOE

特徴
エンティティ関係のような基本的な概念および関係のモデリング。
提供元
University of South Carolina Center for IT
リンク
<URL:http://www.cse.sc.edu/research/cit/demos/java/joe/>


KAON (including OIModeller)

特徴
対称的、推移的、および逆関係、関係基数(relation cardinality)、メタモデ リングなどによりRDFSを拡張。公理パターンを用いたF-Logicに類似。
提供元
FZI Research Center & AIFB Institute, University of Karlsruhe
リンク
<URL:http://kaon.semanticweb.org/>


KBE -- Knowledge Base Editor (for Zeus AgentBuilding Toolkit)

特徴
概念、属性および属性値のZeusオントロジー;多重継承;閉鎖的世界内におけ るモジュール化。(エージェントインタラクションプロトコルも定義。)
提供元
Institute for Software Integrated Systems, Vanderbilt University
リンク
<URL:http://www.isis.vanderbilt.edu/Projects/micants/Tech/Demos/KBE/>


LegendBurster Ontology Editor

特徴
概念、属性、属性値、および明示的に表現された真偽フラグの、意味ネットワー ク階層。リテラルリンクの階層内における継承。完全に具象化された関係;逆 関係(部分的)。(ノードレベルの)すべてのエンティティのメタデータ。分 けられたツリーリストエディタ。
提供元
GeoReference Online Ltd
リンク
<URL:http://www.georeferenceonline.com/>


LinKFactory Workbench

特徴
記述論理のT-box(terminological)とA-box(assertional)モデル。概念と関係 をまたいだ多重継承;必要かつ十分な概念定義基準の同定。ひとつのT-boxに おける複数の競合オントロジーの管理。メタデータのバージョン管理。
提供元
Language & Computing nv
リンク
<URL:none>(none)


Medius Visual Ontology Modeler

特徴
フレームシステムサポートによるオントロジーのUMLモデリング。
提供元
Sandpiper Software, Inc.
リンク
<URL:http://www.sandsoft.com/products.html>


NeoClassic

特徴
記述、概念、ロール、個体およびルールのフレームワーク表現。概念は、個体 メンバーシップの、必要かつ十分条件から派生させることができる。包含およ び分類は固有推論。(コマンドラインエディタのみ。)
提供元
Bell Labs (Lucent Technologies)
リンク
<URL:http://www-out.bell-labs.com/project/classic/>


OilEd

特徴
DAMLの制約公理;same-class-as;制限つきXMLスキーマデータタイプ;メタデータ作成;
提供元
University of Manchester Information Management Group
リンク
<URL:http://oiled.man.ac.uk/>


OLR3 Schema Editor

特徴
RDFSに従い、外部またはカスタムスキーマをインスタンス化または編集。正当 なプロパティの選択肢を提示するための、概念特有のフィルタリング。
提供元
Institute for Information Systems, University of Hannover
リンク
<URL:none>(none)


OntoBuilder

特徴
自然言語を用いて、ドメイン語彙、その記述、およびコンテキストの編集を管理。
提供元
Institute for Medical Information, Statistics and Epidemiology University of Leipzig
リンク
<URL:none>(none)


Onto-Builder

特徴
"明示的な差異"で概念を定義することにより、"何が事物のエッセンスに寄与 するか、何がそれらを記述するか"を区別。このようにして、論理的かつ集合 指向意味論が引き出される。
提供元
University of Savoy ; Ontologos
リンク
<URL:http://ontology.univ-savoie.fr/>


OntoEdit

特徴
クラスと関係についてのF-Logic公理;関係の代数的プロパティ;メタデータ の作成;制限つきのDAMLプロパティとデータタイプ;クラス結合、等価インス タンスは無し。
提供元
Ontoprise GmbH
リンク
<URL:http://www.ontoprise.de/com/ontoedit.htm>


Ontolingua with Chimaera

特徴
完全KIF公理によるOKBCモデル。
提供元
Stanford Knowledge Systems Lab
リンク
<URL:none>(none)


Ontology Builder & Server

特徴
スロット、データタイプ、基数制約を持ったクラス;ノードのドキュメント化;包含。公理は無し。
提供元
Verticalnet, Inc.
リンク
<URL:none>(none)


Ontology Directed Extraction (ODE) Tools

特徴
多重継承包含クラス階層。定義されたクラス属性とクラス間関係のサポート。 スキーマとオブジェクト情報のサポート。
提供元
XSB, Inc.
リンク
<URL:none>(none)


Ontopia Knowledge Suite

特徴
トピックマップ表現のための、明確かつ単一な制約モデリング。
提供元
Ontopia AS
リンク
<URL:http://www.ontopia.net/solutions/products.html>


Ontosaurus

特徴
シンプルな編集機能を備えたリッチ知識ベースブラウザ;コンテキスト; same-class-as;メタクラス。
提供元
USC Information Sciences Institute
リンク
<URL:http://www.isi.edu/isd/ontosaurus.html>


OntoTerm

特徴
概念インスタンスを伴った、概念およびプロパティの階層;属性または関係として区別されたプロパティ。メタデータ(自然言語定義)。
提供元
University of Malaga
リンク
<URL:http://www.ontoterm.com/>


OpenCyc Knowledge Server

特徴
述語についてのコンテキスト、デフォルト推論、skolemization、定量化によ る拡張を施したFOPC。(KB Browser Create Term ツールによる基本的なオン トロジー編集)。
提供元
Cyc Corp.
リンク
<URL:http://www.opencyc.org/>


OpenKnoMe

特徴
個体および型定義機構へのサポート無しの、記述論理述語モデリング。原始概 念および関係から、複雑な構造が任意に構成される。逆元(inverse)つきのロー ル階層、part-of のような関係間の推論。形式的否定、選言、連言は無し。基 数の制限つきサポート。数値または値域の推論は無し。中間表現を管理するツー ルセット。
提供元
University of Manchester Medical Informatics
リンク
<URL:http://www.topthing.com/>


PC Pack 4

特徴
知識獲得と知識モデリング。多重継承、n項関係(n-ary relations)、ルール、 メソッド。モデル化を行うための形式主義(CommonKADS や Moka)を、テンプ レートにより定義可能。
提供元
Epistemics Ltd
リンク
<URL:http://www.epistemics.co.uk/>


Prote'ge'-2000

特徴
概念の多重継承(しかし、インスタンスは一つのクラスしか持たない)と、関 係の階層構造。メタクラス。
提供元
Stanford Medical Informatics
リンク
<URL:http://protege.stanford.edu/index.html>


RDFAuthor

特徴
RDFS スキーマに対して RDF のインスタンスを作成する。
提供元
Damian Steer
リンク
<URL:http://rdfweb.org/people/damian/RDFAuthor/>


RDFedt

特徴
文字入力型のエディタのみ。
提供元
Jan Winkler
リンク
<URL:http://www.jan-winkler.de/dev/e_rdfe.htm>


SemTalk

特徴
RDFS と DAML を逆関係(inverse relation)とプロセスモデリングにより拡 張したもの。
提供元
Semtation GmbH
リンク
<URL:http://www.semtalk.com/>


Specware

特徴
論理的、機能的な公理。(文字入力型のエディタのみ)。
提供元
Kestrel Technology
リンク
<URL:http://www.specware.org/>


SymOntos

特徴
クラスと関係の包摂とXMLスキーマのモデリング要素。is-a, part-of, similarity, predicate という関係。ビジネス指向のあらかじめ定義されたク ラス(アクター、プロセス、イベント、メッセージなど)。
提供元
Institute for the Analysis of Information Systems - CNR (Italy )
リンク
<URL:none>(none)


Taxonomy Builder

特徴
データ型と、置換グループ(substitution group)が与えられた要素の一般的 な分類法。リンクを介した XBRL の関係。
提供元
Semansys Technologies
リンク
<URL:http://www.semansys.com/about_composer.html>


TOPKAT

特徴
CommonKADSの様々なモデルの表現をサポート。これらのモデルの基 礎にあるのは、概念、属性、属性値、推論、タスクの辞書である。これらプリ ミティブを利用してプロダクション・ルールを表現することができる。
提供元
AIAI, University of Edinburgh
リンク
<URL:http://www.aiai.ed.ac.uk/~jkk/topkat.html>


Visio for Enterprise Architects

特徴
オブジェクト-ロールモデリング(ORM)。
提供元
Microsoft Corp.
リンク
<URL:http://msdn.microsoft.com/vstudio/using/>


WebKB

特徴
基本的な概念グラフのモデリングと操作(文脈、制約チェック、クエリー)。 必要十分な状況からあらたな言明を推論することが可能。
提供元
Distributed Systems Technology Centre (DSTC), Australia
リンク
<URL:http://meganesia.int.gu.edu.au/~phmartin/WebKB/doc/generalDoc.html>


WebODE

特徴
概念(クラス、インスタンス)、属性、関係。part-of、特別な2項関係。関 係の属性。定数。公理。多重継承。OKBCのプリミティブと公理のサブセッ トに対する推論エンジン。
提供元
Technical University of Madrid UPM
リンク
<URL:http://delicias.dia.fi.upm.es/webODE/>


WebOnto

特徴
多重継承と Exact Covering。メタクラス。クラスレベルでのPrologに 似た推論のサポート。
提供元
Knowledge Media Institute of Open University (UK )
リンク
<URL:http://delicias.dia.fi.upm.es/webODE/>

情報源