Search Sciweavers | Sciweavers

485 search results - page 5 / 97

» Knowledge Compilation for Description Logics

click to vote

DLOG
2010

149views Automated Reasoning» more DLOG 2010»

On the feasibility of Description Logic knowledge bases with rough concepts and vague instances

13 years 5 months ago

Download www.cs.uwaterloo.ca

Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...

C. Maria Keet

claim paper

Read More »

click to vote

AISC
1998
Springer

124views Artificial Intelligence» more AISC 1998»

Optimising Propositional Modal Satisfiability for Description Logic Subsumption

13 years 11 months ago

Download www.comlab.ox.ac.uk

Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...

Ian Horrocks, Peter F. Patel-Schneider

claim paper

Read More »

click to vote

ICLP
2007
Springer

131views Automated Reasoning» more ICLP 2007»

Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity

14 years 1 months ago