Search Sciweavers | Sciweavers

1087 search results - page 36 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

122

click to vote

DLOG
2006

141views Automated Reasoning» more DLOG 2006»

Description logic reasoning using the PTTP approach

15 years 7 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 »

119

click to vote

GECCO
2007
Springer

154views Optimization» more GECCO 2007»

Evolutionary algorithms for reasoning in fuzzy description logics with fuzzy quantifiers

16 years 9 days ago

Download www.cs.bham.ac.uk

Mauro Dragoni, Andrea Tettamanzi

claim paper

Read More »

119

click to vote

WEBI
2007
Springer

86views Internet Technology» more WEBI 2007»

Extending Description Logic for Reasoning about Ontology Evolution

16 years 7 days ago

Download ftp.cse.sc.edu

Chuming Chen, Manton M. Matthews

claim paper

Read More »

106

click to vote

ICEIS
2006
IEEE

59views Information Technology» more ICEIS 2006»

OWL-Based Knowledge Discovery Using Description Logics Reasoners

16 years 5 days ago

Download www.hpclab.ceid.upatras.gr

Dimitrios A. Koutsomitropoulos, Dimitrios P. Meida...

claim paper

Read More »

137

click to vote

JAR
2007

67views more JAR 2007»

Optimizing Terminological Reasoning for Expressive Description Logics

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers