Sciweavers

1835 search results - page 26 / 367
» Classifying Description Logics
Sort
View
AIR
2005
122views more  AIR 2005»
15 years 1 months ago
The Genetic Kernel Support Vector Machine: Description and Evaluation
The Support Vector Machine (SVM) has emerged in recent years as a popular approach to the classification of data. One problem that faces the user of an SVM is how to choose a kerne...
Tom Howley, Michael G. Madden
BIRTHDAY
2005
Springer
15 years 7 months ago
Description Logics as Ontology Languages for the Semantic Web
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
Franz Baader, Ian Horrocks, Ulrike Sattler
AUSAI
1999
Springer
15 years 6 months ago
Computing Least Common Subsumers in Expressive Description Logics
Computing least common subsumers in description logics is an important reasoning service useful for a number of applications. As shown in the literature, this reasoning service ca...
Thomas Mantay
KI
2007
Springer
15 years 8 months ago
Description Logic Programs: Normal Forms
The relationship and possible interplay between different knowledge representation and reasoning paradigms is a fundamental topic in artificial intelligence. For expressive knowl...
Pascal Hitzler, Andreas Eberhart
KI
2007
Springer
15 years 8 months ago
Integrating Action Calculi and Description Logics
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
Conrad Drescher, Michael Thielscher