|
10/2010 - today
|
Computer scientist at
SRI International
in the
Artificial Intelligence Center
working for
project HALO.
I am mainly involved with
supporting the knowledge entry, but also work a little bit on question
answering algorithms from time to time.
|
|
2009 - 10/2010
|
Involvement in the EU-funded project
CASAM
(optimized reimplementation of a stream-based cognitive architecture for multimedia interpretation).
The abductive horn-logic rule
engine of nRQL was further optimized, providing the reasoning backbone
of the CASAM media interpretation engine. To suport the work on query
generation for interpretation disambiguation (different
interpretations correspond to different hypotheses represented as
ABoxes), an ABox difference operator was implemented to figure out
how interpretation differ. Difference computation was reduced
to abductive ABox query answering.
|
|
2009 - 2010
|
Involvement in the DFG-funded project
PreSInt
(a stream-based
cognitive architecture for multimedia interpretation).
See CASAM project - this was a joint effort, so the techniques and
implementations described under CASAM project were developed for two projects.
|
|
2008 - 2010
|
Bindings for the
W3C Member Submissions OWLlink:
functional binding
and
S-Expression binding
in a collaboration with the
company Derivo, and colleagues from Ulm university and DOCOMO. My Common Lisp open source framework
OntoLisp
provided the native reference implementation for OWLlink, which
is independent from the OWLAPI.
|
|
2008 - 2009
|
Involvement in the EU-funded project
BOEMIE.
nRQL was equipped with abductive query answering capabilities,
providing the reasoning backbone of the BOEMIE media interpretation engine.
|
|
2007 - 2009
|
DL-based
event recognition
for DOCOMO Euro Labs. This was a commisioned work carried
out in the context of the DOCOMO projects ContextWatcher and IYOUIT.
|
|
2007 - 2010
|
MiniLisp -
a termination-safe functional programming language for DL-server side programming. Primarily as an extension to nRQL to support programmatic HTML generation with queries, but useful for many more things, e.g.,
programmatic knowledge base creation. See this
Soduko solver in MiniLisp
which can be loaded into RacerPro.
|
|
2001 - 2006 (PhD Thesis)
|
DLMAPS:
An experimental description logic-based geographic information system, featuring a high-performance deductive query answering engine. The framework supports different hybrid "analogical" (e.g. spatial) and propositional representations, and is capable of processing ontology-based spatio-thematic queries. The RacerPro query language nRQL is an instantiation of this generic DLMAPS query answering framework. The framework was inspired by hybrid and analogical representations, logic programming, as well as the notion of abstract description systems (ADS). Recently, similar system have appeared, e.g. "Pellet Spatial" ™ by Clark & Parsia offers the analog of the "RCC substrate" as well. The RCC substrate of DLMAPS wasalso made available in RacerPro in 2005, but the geometric, non-symbolic spatial representation can only be found in DLMAPS.
|
|
2004
|
A Tangram-playing Lisp Program.
|
|
2003 - 2010
|
nRQL
(for Racer Systems): An
expressive ABox and Semantic Web query language for the description
logic reasoner RacerPro. The decidable deductive query answering
framework underlying nRQL explored the idea of representation- and
application-specific entailment relationships (nowadays called
"entailment regimes"), featuring classical negation and negation as
failure, universal quantification by means of a new projection
operator, and other expressive means which are now adopted for
standards such as SPARQL. Here are some links to works of researchers
which used nRQL for their projects, which are unrelated to own
research:
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11
|
|
2004 - 2010
|
RacerPorter
(for Racer Systems): A GUI for the description logic reasoner RacerPro.
You can see RacerPro and RacerPorter in this
YouTube video
published by Franz Inc, which is a partner company of Racer Systems GmbH & Co. KG.
|
|
1997 - 1998 (Diploma Thesis)
|
VISCO:
An experimental visual spatial query language and prototype system for geographic information systems, applied to digital city maps.
Watch our QuickTime video ;-)
|
|
1995 - 1996 (Project Work)
|
GenEd:
A description logic-based graphical editor for visual formalisms (e.g., Petri Nets), capable of recognizing spatial constellations described by spatial concepts in a description logic ontology.
Watch our QuickTime video ;-)
|
