Sciweavers

2302 search results - page 94 / 461

» Basic Description Logics

122

DLOG
2009

93views Automated Reasoning» more DLOG 2009»

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

15 years 1 months ago

Forgetting and Uniform Interpolation in Extensions of the Description Logic EL

Download web.comlab.ox.ac.uk

Boris Konev, Dirk Walther, Frank Wolter

claim paper

Read More »

124

ESSLLI
2009
Springer

219views Automated Reasoning» more ESSLLI 2009»

Description Logics for Relative Terminologies

15 years 1 months ago

Description Logics for Relative Terminologies

Download klarman.synthasite.com

Szymon Klarman

claim paper

Read More »

104

JAR
2011

63views more JAR 2011»

ABox Abduction in the Description Logic ALC

14 years 11 months ago

ABox Abduction in the Description Logic ALC

Download klarman.synthasite.com

Szymon Klarman, Ulle Endriss, Stefan Schlobach

claim paper

Read More »

179

JAR
2010

139views more JAR 2010»

Incremental Classification of Description Logics Ontologies

14 years 10 months ago

Incremental Classification of Description Logics Ontologies

Download www.comlab.ox.ac.uk

The development of ontologies involves continuous but relatively small modifications. However, existing ontology reasoners do not take advantage of the similarities between differe...

Bernardo Cuenca Grau, Christian Halaschek-Wiener, ...

claim paper

Read More »

114

DLOG
2011

194views Automated Reasoning» more DLOG 2011»

Mapping Data to Higher-Order Description Logic Knowledge Bases

14 years 7 months ago

Mapping Data to Higher-Order Description Logic Knowledge Bases

Download sunsite.informatik.rwth-aachen.de

Floriana Di Pinto, Giuseppe De Giacomo, Maurizio L...

claim paper

Read More »

« Prev « First page 94 / 461 Last » Next »