Inductive construction of ontologies from formal concept analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2903, Issue , 2003, Pages 88-99

  Bain, Michael ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER CIRCUITS; FORMAL LOGIC; INFORMATION ANALYSIS; ITERATIVE METHODS; LOGIC PROGRAMMING; ONTOLOGY; COMPUTER SCIENCE; RANDOM PROCESSES;

FEATURE CONSTRUCTION; INDUCTIVE CONSTRUCTION; INFORMATION COMPRESSION; PROGRAM TRANSFORMATIONS; PROPOSITIONAL LOGIC; REPRESENTATION CHANGE; RESEARCH INTERESTS; STRUCTURED THEORIES;

FORMAL CONCEPT ANALYSIS; CLASSIFICATION (OF INFORMATION);

INDUCTIVE CONSTRUCTION; INFORMATION COMPRESSION; ONTOLOGY; SUPERCLASS;

EID: 0347586961     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24581-0_8     Document Type: Conference Paper

References (13)

1. M. Bain. Structured Features from Concept Lattices for Unsupervised Learning and Classification. In B. McKay and J. Slaney, editors, AI 2002: Proc. of the 15th Australian Joint Conference on Artificial Intelligence, LNAI 2557, pages 557–568, Berlin, 2002. Springer.
2. N. Foo. Ontology Revision. In G. Ellis, R. Levinson, W. Rich, and J. Sowa, editors, Proc. Third Intl. Conf. on Conceptual Structures, LNAI 954, pages 1–14, Berlin, 1995. Springer.
3. B. Ganter and R. Wille. Formal Concept Analysis: Mathematical Foundations. Springer, Berlin, 1999.
4. C. J. Hogger. Essentials of Logic Programming. Clarendon Press, Oxford, 1990.
5. M. Kim and P. Compton. Incremental Development of Domain-Specific Document Retrieval Systems. In S. Handschuh, R. Dieng-Kuntz, and S. Staab, editors, Proceedings of the First International Conference on Knowledge Capture, pages 69–77, Calgary, 2001. University of Calgary.
6. R. Kwok. Formalising Aspects of Theoretical Term Usage. PhD thesis, University of Sydney, Sydney, Australia, 1998.
7. J.W. Lloyd. Logic Programming, 2nd Edition. Springer-Verlag, Berlin, 1987.
8. S. Muggleton. Inverse Entailment and Progol. New Generation Computing, 13:245–286, 1995.
9. N. Fridman Noy and D.L. McGuinness. Ontology Development 101: A Guide to Creating Your First Ontology. Technical Report KSL-01-05, Knowledge Systems Laboratory, Stanford University, CA, 2001.
10. T. Richards. Clausal Form Logic: An Introduction to the Logic of Computer Reasoning. Addison-Wesley, Wokingham, England, 1989.
11. A. Roychoudhury, K. N. Kumar, C. R. Ramakrishnan, and I.V. Ramakrishnan. Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. International Journal on Foundations of Computer Science, 13(3):387–403, 2002.
12. S. Schultze-Kremer. Ontologies for Molecular Biology. Pacific Symposium on Biocomputing, 3:693–704, 1998.
13. B. Zupan. Machine learning based on function decomposition. PhD thesis, University of Ljubljana, Slovenia, 1997.