784 search results - page 45 / 157 » The logic of tasks |
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
FUZZY
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. A handwritten digit recognition system was used in a demonstration project to visualize artificial neural networks, in particular Kohonen’s self-organizing feature map...
ICIW
2007
IEEE
14 years 22 days ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
DLOG
2007
13 years 11 months ago
2007
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...
COOPIS
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract. Flora-2 is a rule-based object-oriented knowledge base system designed for a variety of automated tasks on the Semantic Web, ranging from meta-data management to informat...