Re: WOWG: Need to know about your implementations -- ASAP

The UMBC ebiquity research group [0] has several projects
that are using OWL.

REASONERS

Fowl [1] is an OWL reasoner implemented in flora-2 [2] which is a
dialect of f-logic [3] that compiles into XSB [4] substrate.  Fowl
provides a flexible environment for developing knowledge-based
applications that import and reason about knowledge expressed in
OWL. Fowl will also support several query interfaces, including RQL,
RDQL, TAP.  Fowl is currently under development with an initial
release supporting OWL Lite to be available in June 2003.

DEMOS

Travel Agent Game in Agentcities (TAGA [5,6]) is a framework that
extends and enhances the Trading Agent Competition (TAC) scenario to
work in Agentcities, an open multi agent environment based on FIPA
compliant platforms.  TAGA uses OWL to specify and publish the
underlying common ontologies, as a content language within the FIPA
ACL messages, as the basis for agent knowledge bases via XSB-based
reasoning tools, and to describe and reason about agent services. TAGA
is intended as a platform for research in multiagent systems, the
semantic web and automated trading in dynamic markets as well as a
self-contained application for teaching and experimentation with these
technologies.  TAGA will be demonstrated at the IJCAI Intelligent
Systems exhibition in August 2003.

ONTOLOGIES

UMBC has developed several ontologies in OWL that support ongoing
projects, including TAGA, CoBrA, and REI.

TAGA [5] is supported by several ontologies. fipa-owl [6] is an
ontology that allows OWL to be used as a content language in FIPA ACL
(agent communication language) messages.  travel.owl [7] covers the
basic concepts of traveling needed in TAGA, include the travel
itinerary, customers, travel services and service reservations.
auction.owl [8] is used to define the different kinds of auctions,
the roles the participants play in them, and the protocols used.

The CoBrA [9] project is built on an ontology for supporting context
reasoning and knowledge sharing in pervasive context-aware
systems. The current version of the ontology (v0.2 [10]) models basic
concepts of an intelligent meeting space (i.e., people, agents, places
and presentation events) and associated properties (i.e., containment
relationships between places, roles associated with people and typical
intentions and desires of speakers and audiences). CoBrA will use Fowl
for context reasoning.

REI [11] is a declarative language for defining policies expressed
using deontic concepts (e.g., permissions, prohibitions, obligations
and dispensations).  The current running version uses a prolog-based
representation.  An initial version of an OWL ontology to express REI
policies has been designed.


REFERENCES

[0] http://research.ebiquity.org/

[1] http://users.ebiquity.org/~hchen4/fowl/

[2] http://flora.sourceforge.net/

[3] Michael Kifer, Logical Foundations of Object-Oriented and
      Frame-Based Languages. Journal of ACM, May 1995.
      ftp://ftp.cs.sunysb.edu/pub/TechReports/kifer/flogic.ps.Z

[4] http://xsb.sourceforge.net/

[5] http://taga.umbc.edu/

[6] Youyong Zou, Tim Finin, Li Ding, Harry Chen, and Rong Pan, Using
      Semantic Web Technologies in Multi-Agent Systems, draft, submitted to
      the Second International Semantic Web Conference, 2003.
      http://umbc.edu/~finin/papers/iswc03adraft.pdf

[6] http://taga.umbc.edu/taga2/owl/fipaowl.owl

[7] http://taga.umbc.edu/taga2/owl/travel.owl

[8] http://taga.umbc.edu/taga2/owl/auction.owl

[9] http://users.ebiquity.org/~hchen4/cobra/

[10] http://daml.umbc.edu/ontologies/cobra/0.2/cobra-ont

[11] http://www.csee.umbc.edu/~finin/papers/policy03.pdf

Received on Wednesday, 7 May 2003 17:20:58 UTC