Sciweavers

485 search results - page 5 / 97
» Knowledge Compilation for Description Logics
Sort
View
DLOG
2010
14 years 7 months ago
On the feasibility of Description Logic knowledge bases with rough concepts and vague instances
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
AISC
1998
Springer
15 years 1 months ago
Optimising Propositional Modal Satisfiability for Description Logic Subsumption
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
ICEIS
2006
IEEE
15 years 3 months ago
OWL-Based Knowledge Discovery Using Description Logics Reasoners
Dimitrios A. Koutsomitropoulos, Dimitrios P. Meida...
LICS
2002
IEEE
15 years 2 months ago
Description Logics: Foundations for Class-based Knowledge Representation
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...