Sciweavers

58 search results - page 5 / 12
» Concept learning in description logics using refinement oper...
Sort
View
LOGCOM
2007
130views more  LOGCOM 2007»
14 years 11 months ago
A Logic for Concepts and Similarity
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter,...
CORR
2010
Springer
139views Education» more  CORR 2010»
14 years 11 months ago
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
Arne Meier, Thomas Schneider 0002
GECCO
2003
Springer
117views Optimization» more  GECCO 2003»
15 years 4 months ago
A Method for Handling Numerical Attributes in GA-Based Inductive Concept Learners
This paper proposes a method for dealing with numerical attributes in inductive concept learning systems based on genetic algorithms. The method uses constraints for restricting th...
Federico Divina, Maarten Keijzer, Elena Marchiori
RAS
2008
112views more  RAS 2008»
14 years 11 months ago
Learning and generalising semantic knowledge from object scenes
The robot described in this paper learns words that relate to objects and their attributes and also learns concepts, which may be recursive, that involve relationships between sev...
Claire D'Este, Claude Sammut
OWLED
2007
15 years 1 months ago
Reasoning with OWL-DL in Inductive Logic Programming
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
Francesca A. Lisi