中文XML论坛--OWL Tools, Projects and Applications 列表（摘自W3C）

Tools, Projects and Applications
The following is a small sample of the growing set of tools, projects and applications utilizing OWL.

Commercial Ontology Support Tools
[URL=http://www.altova.com/products_semanticworks.html]Altova's SemanticWorks[/URL]
Altova SemanticWorks 2006 is the ground-breaking visual RDF/OWL editor from the creators of XMLSpy. Visually design Semantic Web instance documents, vocabularies, and ontologies then output them in either RDF/XML or N-triples formats. SemanticWorks 2006 makes the job easy with tabs for instances, properties, classes, etc., context-sensitive entry helpers, and automatic format checking. It is the sensible way to put the Semantic Web to work for you.
[URL=http://www.alphaworks.ibm.com/tech/snobase]SNOBASE[/URL] is an ontology management environment developed by IBM Alphaworks. It provides a mechanism for querying ontologies and a programming interface for interacting with ontologies written in RDF Schema and OWL.
[URL=http://www.networkinference.com/]Network Inference[/URL] has developed a set of tools around their Cerebra Inference engine that allow for the development and use of OWL ontologies.
[URL=http://www.tucanatech.com/]Tucana Technologies Inc.[/URL] has developed a scaleable RDF triple store which includes some OWL inferencing and is adding more.
Demos / Portals
[URL=http://www.aifb.uni-karlsruhe.de/about.html]AIFB SEmantic PortAL[/URL] - The Institute AIFB web site of the University of Karlsruhe provides annotated pages which contain dynamically generated machine processable content in form of OWL annotations.
The [URL=http://www.aktors.org/akt/]AKT Portal[/URL] at the University of Southampton is largely based on ontologies, and is now using OWL.
The University of Maryland Baltimore County (Finin) has developed two demos using OWL ( [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0083.html]Finin 7May[/URL])
[URL=http://www.biopax.org/]BioPax[/URL] - A Data Exchange Format for Biological Pathways has been using OWL
The [URL=http://www.w3.org/2002/01/tr-automation/]W3C tech reports[/URL] - related to the "multimedia collections" use case
( [URL=http://www.mindswap.org/]The MINDSWAP project web site[/URL]) uses OWL to generate all the web pages and "custom home pages" for members of the research group, as well as for doing photo markup. ( [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0054.html]Hendler 6May[/URL])
The [URL=http://owl.mindswap.org/2003/arbitrary/class.shtml?class=http%3A%2F%2Fowl.mindswap.org%2F2003%2Font%2Fowlweb.rdf%23owlComment]OWL-generated Comment Status List[/URL] submitted for the CR request for OWL was generated by a combination of OWL tools.
Reasoners
[URL=http://kaon2.semanticweb.org/]KAON2[/URL] is a reasoner for OWL extended with the DL-safe subset of SWRL; it also provides an OWL API.
FaCT -- a DL reasoner. see [URL=http://wonderweb.semanticweb.org/index.shtml]WonderWeb project[/URL], [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003Sep/0158.html]Bechhofer 15 Sep[/URL].
Racer -- a DL reasoner. see [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003Sep/0128.html]Horrocks 12Sep[/URL]
Cerebra from [URL=http://www.networkinference.com/]Network Inference[/URL] - owl syntax checker, nearly complete OWL DL [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003Sep/0128.html]Horrocks 12Sep[/URL]
[URL=http://www.w3.org/2000/10/swap/doc/cwm.html]cwm[/URL] -- useful but incomplete OWL Full
Euler -- useful but incomplete OWL Full,see [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003Jul/0112.html]De Roo 11 Jul[/URL]: 51 / 234 tests
[URL=http://www.w3.org/2003/08/surnia/]surnia[/URL] -- OWL full reasoner based on otter. [URL=http://lists.w3.org/Archives/Public/public-webont-comments/2003Aug/0015.html]Hawke 26Aug[/URL]
[URL=http://www.hpl.hp.com/semweb/index.html]Jena/HP[/URL] ( [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0068.html]Reynolds/HP 7 May[/URL])will support OWL reasoning.
Vampire [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003Jul/0156.html]Horrocks 17 Jul[/URL] - uses a first-order theorem prover to do OWL DL
[URL=http://www.mindswap.org/2003/pellet/index.shtml]Pellet[/URL] is a reasoner built in Java that was designed specifically for OWL reasoning. [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003Sep/0165.html]Hendler/Sirin/Parsia 15Sep[/URL]).
[URL=http://www.swi-prolog.org/packages/semweb.html]SWI-Prolog Semantic Web Library[/URL] contains owl.pl - an OWL reasoning package.
[URL=http://www.cs.umbc.edu/~hchen4/fowl]F-OWL[/URL] is an f-logic based Owl tool from UMBC.
[URL=http://mycampus.sadehlab.cs.cmu.edu/tests/]E-wallet[/URL] is an e-commerce and mobile computing tool based on a rule-based OWL reasoner.
Parsers / Validators
[URL=http://logic.aifb.uni-karlsruhe.de/dlpconvert/]dlpconvert[/URL] is a tool for the conversion of the Horn fragment of OWL (called DLP) from XML or RDF syntax to Prolog syntax.
[URL=http://phoebus.cs.man.ac.uk:9999/OWL/Validator]owl species validator/parser[/URL]. seems to be a conforming owl syntax checker per [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003Sep/0090.html]Bechhofer 10Sep[/URL]
OWLP seems to be a conforming owl syntax checker, per [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003Sep/0176.html]Patel-Schneider 16Sep[/URL]
[URL=http://www.hpl.hp.com/semweb/index.html]Jena[/URL]: almost conforming ( [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0057.html]Carroll/HP 6 May[/URL] )
[URL=http://owl.bbn.com/validator/]BBN OWL Validator[/URL]
[URL=http://owl.mindswap.org/downloads]IC Instance Creator, ConvertToRDF, and SMORE[/URL] use an OWL parser developed at the University of Maryland MIND Laboratory.
Editors
[URL=http://www.altova.com/products_semanticworks.html]Altova's SemanticWorks[/URL]
Altova SemanticWorks 2006 is the ground-breaking visual RDF/OWL editor from the creators of XMLSpy. Visually design Semantic Web instance documents, vocabularies, and ontologies then output them in either RDF/XML or N-triples formats. SemanticWorks 2006 makes the job easy with tabs for instances, properties, classes, etc., context-sensitive entry helpers, and automatic format checking. It is the sensible way to put the Semantic Web to work for you.
The [URL=http://protege.stanford.edu/]Protege[/URL] has developed an [URL=http://protege.stanford.edu/plugins/owl/]OWL plugin[/URL].
Construct from [URL=http://www.networkinference.com/]Network Inference[/URL] Complete OWL-DL ([URL=http://www.w3.org/2004/OWL/#cw15Jul]White 15Jul[/URL])
[URL=http://www.mindswap.org/~aditkal/editor.shtml]SMORE[/URL] is a markup tool that produces OWL documents
cwm .n3 -> .rdf produces conforming OWL Full documents
API
OWL API ( [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0076.html]bechover/volz 7 May[/URL])
[URL=http://www.hpl.hp.com/semweb/index.html]Jena[/URL] ( [URL=http://lists.w3.org/Archives/Public/www-webont-wg/2003May/0068.html]Reynolds/HP 7 May[/URL])
Cerebra from [URL=http://www.networkinference.com/]network inference[/URL]
Ontologies
[URL=http://www.schemaweb.info/default.aspx]SchemaWeb[/URL] provides a comprehensive directory of RDF schemas and OWL ontologies to be browsed and searched by human agents and also an extensive set of web services to be used by agents and reasoning software applications that wish to obtain real-time schema information.
[URL=http://www.daml.org/ontologies/]DAML Ontology Library[/URL] which organizes hundreds of ontologies in a variety of different ways (keyword, organization, submission date, etc.)
[URL=http://www.swoogle.org/]Swoogle[/URL] is a search engine for Semantic Web documents, including OWL ontologies, built by the University of Maryland Baltimore County under funding from the National Science Foundation.


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	78.125ms