Search Sciweavers | Sciweavers

3793 search results - page 109 / 759

» Expressive Description Logics

click to vote

DLOG
2006

141views Automated Reasoning» more DLOG 2006»

Description logic reasoning using the PTTP approach

15 years 5 months ago

Download sunsite.informatik.rwth-aachen.de

The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...

Zsolt Nagy, Gergely Lukácsy, Péter S...

claim paper

Read More »

141

click to vote

DLOG
2006

132views Automated Reasoning» more DLOG 2006»

Static Knowledge Representation of Multi-Agent System's Specification by Description Logic

15 years 5 months ago

Download ftp.informatik.rwth-aachen.de

Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...

Haiyan Che, Jigui Sun

claim paper

Read More »

103

click to vote

DLOG
2006

130views Automated Reasoning» more DLOG 2006»

Description Logic Reasoning for Dynamic ABoxes

15 years 5 months ago