Concept formation in expressive description logics

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 3201, Issue , 2004, Pages 99-110

  Fanizzi, Nicola ^a   Iannone, Luigi ^a   Palmisano, Ignazio ^a   Semeraro, Giovanni ^a  

^a UNIVERSITY OF BARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; GRAPH THEORY; HEURISTIC METHODS; LEARNING SYSTEMS; WORLD WIDE WEB; ARTIFICIAL INTELLIGENCE; DATA DESCRIPTION; FORMAL LANGUAGES;

DESCRIPTION LOGICS; SEMANTIC WEB; SUPERVISED LEARNING PROBLEMS; TAXONOMY; AUTOMATED CONSTRUCTION; CONCEPT FORMATION; EXPRESSIVE DESCRIPTION LOGIC; REFINEMENT OPERATORS;

SEMANTICS; LEARNING SYSTEMS;

EID: 22944452791     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-30115-8_12     Document Type: Conference Paper

References (11)

1. Berners-Lee, T.: Design Issues: Technical and philosophical notes on web architecture (1990-2002) http://www.w3.org/DesignIssues.
2. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P., eds.: The Description Logic Handbook. Cambridge University Press (2003)
3. Haussler, D.: Learning conjuntive concepts in structural domains. Machine Learning 4 (1989) 7-40
4. Nienhuys-Cheng, S., Laer, W.V., Ramon, J., Raedt, L.D.: Generalizing refinement operators to learn prenex conjunctive normal forms. In: Proceedings of the International Conference on Inductive Logic Programming. Volume 1631 of LNAL., Springer (1999) 245-256
5. Rouveirol, C., Ventos, V.: Towards learning in CARIN-ALN. In Cussens, J., Frisch, A., eds.: Proceedings of the 10th International Conference on Inductive Logic Programming. Volume 1866 of LNAI., Springer (2000) 191-208
6. Cohen, W., Hirsh, H.: Learning the CLASSIC description logic. In Torasso, P., Doyle, J., Sandewall, E., eds.: Proceedings of the 4th International Conference on the Principles of Knowledge Representation and Reasoning, Morgan Kaufmann (1994) 121-133
7. Kietz, J.U., Morik, K.: A polynomial approach to the constructive induction of structural knowledge. Machine Learning 14 (1994) 193-218
8. Vere, S.: Multilevel counterfactuals for generalizations of relational concepts and productions. Artificial Intelligence 14 (1980) 139-164
9. Badea, L., Nienhuys-Cheng, S.H.: A refinement operator for description logics. In Cussens, J., Frisch, A., eds.: Proceedings of the 10th International Conference on Inductive Logic Programming. Volume 1866 of LNAI., Springer (2000) 40-59
10. Nienhuys-Cheng, S., de Wolf, R.: Foundations of Inductive Logic Programming. Volume 1228 of LNAL Springer (1997)
11. Esposito, F., Fanizzi, N., Iannone, L., Semeraro, G.: Refinement of conceptual descriptions in ALC knowledge bases. Technical Report DL-2004-01, LACAM, Dipartimento di Informatica, Università degli Studi di Bari (2004)