Search Sciweavers | Sciweavers

485 search results - page 5 / 97

» Knowledge Compilation for Description Logics

152

Voted

DLOG
2010

149views Automated Reasoning» more DLOG 2010»

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

15 years 2 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 »

162

Voted

AISC
1998
Springer

124views Artificial Intelligence» more AISC 1998»

Optimising Propositional Modal Satisfiability for Description Logic Subsumption

15 years 9 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 »

119

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

15 years 11 months ago