Search Sciweavers | Sciweavers

3244 search results - page 2 / 649

» Extensions to Description Logics

click to vote

JSC
2010

135views more JSC 2010»

Deciding inseparability and conservative extensions in the description logic EL

13 years 5 months ago

Download www.csc.liv.ac.uk

We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...

Carsten Lutz, Frank Wolter

claim paper

Read More »

click to vote

CADE
2010
Springer

366views Logical Reasoning» more CADE 2010»

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ

13 years 8 months ago

Download www.comlab.ox.ac.uk

We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...

Yevgeny Kazakov

claim paper

Read More »

click to vote

CADE
2007
Springer

219views Logical Reasoning» more CADE 2007»

Conservative Extensions in the Lightweight Description Logic EL

14 years 7 months ago

Download lat.inf.tu-dresden.de

We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...

Carsten Lutz, Frank Wolter

claim paper

Read More »

click to vote

IJCAI
2007

172views Artificial Intelligence» more IJCAI 2007»

Conservative Extensions in Expressive Description Logics

13 years 8 months ago

Download www.csc.liv.ac.uk

Carsten Lutz, Dirk Walther, Frank Wolter

claim paper

Read More »