Search Sciweavers | Sciweavers

384 search results - page 1 / 77

» Representing Sequences in Description Logics

click to vote

AAAI
1997

118views Intelligent Agents» more AAAI 1997»

Representing Sequences in Description Logics

13 years 6 months ago

Download www.inf.unibz.it

This paper describes an approach for representing and manipulating sequences in description logics (DLs). The key idea is to represent sequences using sux trees, then represent t...

Haym Hirsh, Daniel Kudenko

claim paper

Read More »

click to vote

AIEDAM
1999

157views more AIEDAM 1999»

Representing a robotic domain using temporal description logics

13 years 4 months ago

Download www.dbnet.ece.ntua.gr

A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...

Alessandro Artale, Enrico Franconi

claim paper

Read More »

click to vote

ICCBR
2010
Springer

312views Automated Reasoning» more ICCBR 2010»

An Algorithm for Adapting Cases Represented in an Expressive Description Logic

13 years 8 months ago

Download hal.inria.fr

Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...

Julien Cojan, Jean Lieber

claim paper

Read More »

click to vote

FOIKS
2008
Springer

120views Information Technology» more FOIKS 2008»

Tightly Integrated Probabilistic Description Logic Programs for Representing Ontology Mappings

13 years 6 months ago

Download ki.informatik.uni-mannheim.de

Andrea Calì, Thomas Lukasiewicz, Livia Pred...

claim paper

Read More »