Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

DLOG
2006

favoriteEmaildiscussreport

141views Automated Reasoning» more DLOG 2006»

Description logic reasoning using the PTTP approach

13 years 5 months ago

Description logic reasoning using the PTTP approach

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 language ALC, and evaluates its performance highlighting the advantages and drawbacks of this method.

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

Real-time Traffic

Automated Reasoning | DLOG 2006 | Inference Algorithm | Language Alc | Prolog Technology Theorem |

claim paper

Related Content

» On Reasoning about Structural Equality in XML A Description Logic Approach

» KOSIMap Use of Description Logic Reasoning to Align Heterogeneous Ontologies

» Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution

» Bounded Model Checking with Description Logic Reasoning

» A Compatible Approach to Temporal Description Logics

» Uncertainty Reasoning in Description Logics A Generic Approach

» Semantic Matchmaking as NonMonotonic Reasoning A Description Logic Approach

» Defeasible Description Logics

» Approaches to Inconsistency Handling in DescriptionLogic Based Ontologies

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2006
Where	DLOG
Authors	Zsolt Nagy, Gergely Lukácsy, Péter Szeredi

Comments (0)