Search Sciweavers | Sciweavers

214 search results - page 5 / 43

» Optimisation of Terminological Reasoning

click to vote

AAAI
2008

149views Intelligent Agents» more AAAI 2008»

Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams

13 years 9 months ago

Download www.aaai.org

We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...

Sebastian Rudolph, Markus Krötzsch, Pascal Hi...

claim paper

Read More »

click to vote

SAC
2010
ACM

166views Applied Computing» more SAC 2010»

Evidential reasoning for the treatment of incoherent terminologies

14 years 2 months ago

Download glass.cs.unb.ca

Ebrahim Bagheri, Faezeh Ensan

claim paper

Read More »

click to vote

IJCAI
1993

78views Artificial Intelligence» more IJCAI 1993»

Decidable Reasoning in Terminological Knowledge Representation Systems

13 years 8 months ago

Download www-2.cs.cmu.edu

Martin Buchheit, Francesco M. Donini, Andrea Schae...

claim paper

Read More »

click to vote

JAR
2007

67views more JAR 2007»

Optimizing Terminological Reasoning for Expressive Description Logics

13 years 7 months ago

Download www.image.ece.ntua.gr

Dmitry Tsarkov, Ian Horrocks, Peter F. Patel-Schne...

claim paper

Read More »

click to vote

LILOG
1989

108views Information Technology» more LILOG 1989»

Representation and Reasoning with Attributive Descriptions

13 years 11 months ago

Download www.ps.uni-saarland.de

This paper surveys terminological representation languages and feature-based uniﬁcation grammars pointing out the similarities and diﬀerences between these two families of att...

Bernhard Nebel, Gert Smolka

claim paper

Read More »

« Prev « First page 5 / 43 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers