Sciweavers

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

41

CADE
2010
Springer

favoriteEmaildiscussreport

351views Logical Reasoning» more CADE 2010»

Tractable Extensions of the Description Logic EL with Numerical Datatypes

13 years 5 months ago

Tractable Extensions of the Description Logic EL with Numerical Datatypes

Download www.comlab.ox.ac.uk

Despoina Magka, Yevgeny Kazakov, Ian Horrocks

Real-time Traffic

CADE 2010 | Logical Reasoning |

claim paper

Related Content

» Conservative Extensions in the Lightweight Description Logic EL

» Data Complexity in the EL Family of Description Logics

» Temporalising Tractable Description Logics

» Classifying Fuzzy Subsumption in FuzzyEL

» Locality and Subsumption Testing in EL and Some of its Extensions

» Tractable query answering and rewriting under description logic constraints

» The Logical Difference Problem for Description Logic Terminologies

» Implementing CompletionBased Inferences for the ELfamily

» A better uncle for OWL nominal schemas for integrating rules and ontologies

Post Info
More Details (n/a)

Added	08 Nov 2010
Updated	08 Nov 2010
Type	Conference
Year	2010
Where	CADE
Authors	Despoina Magka, Yevgeny Kazakov, Ian Horrocks

Comments (0)