Search Sciweavers | Sciweavers

3358 search results - page 90 / 672

» Dynamic Description Logics

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

13 years 7 months ago

Download dl.kr.org

Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...

claim paper

Read More »

click to vote

DLOG
2009

117views Automated Reasoning» more DLOG 2009»

A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics

13 years 7 months ago

Download web.comlab.ox.ac.uk

In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...

Giorgos Stoilos, Giorgos B. Stamou

claim paper

Read More »

click to vote

DLOG
2009

93views Automated Reasoning» more DLOG 2009»

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

13 years 7 months ago

Download web.comlab.ox.ac.uk

Boris Konev, Dirk Walther, Frank Wolter

claim paper

Read More »

click to vote

ESSLLI
2009
Springer

219views Automated Reasoning» more ESSLLI 2009»

Description Logics for Relative Terminologies

13 years 7 months ago

Download klarman.synthasite.com

Szymon Klarman

claim paper

Read More »

click to vote

JAR
2011

63views more JAR 2011»

ABox Abduction in the Description Logic ALC

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers