Acquiring generalized domain-range restrictions

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

Volumn 4933 LNAI, Issue , 2008, Pages 32-45

  Rudolph, Sebastian ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA DESCRIPTION; KETONES;

ATTRIBUTE EXPLORATION; DESCRIPTION LOGICS; FORMAL CONCEPT ANALYSIS; INTERNATIONAL CONFERENCES; QUALITY CRITERION; ROLE HIERARCHIES;

ONTOLOGY;

EID: 49949098542     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78137-0_3     Document Type: Conference Paper

References (24)

1. Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Horrocks, I., Patel-Schneider, P.F.: A proposal for an OWL rules language. In: Proc. of the Thirteenth International World Wide Web Conference (WWW 2004), pp. 723-731. ACM, New York (2004)
3. McGuinness, D., v. Harmelen, F.: OWL Web Ontology Language Overview. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/owl-features/
4. Ministry of Law and Justice, Government of India: The Child Marriage Restraint Act. Act No. 19 of 1929 (1929), http://indiacode.nic.in
5. Krötzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for horn description logics. In: N.N. (ed.) Proceedings of AAAI 2007. LNCS (LNAI), Springer, Heidelberg (2007)
6. Grosof, B., et al.: Description logic programs: Combining logic programs with description logics. In: Proc. of the International World Wide Web Conference (WWW 2003), pp. 48-57. ACM, New York (2003)
7. Busch, W.: Die fromme Helene. Diogenes (2003)
8. Ganter, B.: Two basic algorithms in concept analysis. Technical Report 831, FB4, TH Darmstadt (1984)
9. Burmeister, P.: Merkmalimplikationen bei unvollständigem Wissen. In: Lex, W. (ed.) Arbeitstagung Begriffsanalyse und Künstliche Intelligenz, TU Clausthal, pp. 15-46 (1991)
10. Ganter, B.: Attribute exploration with background knowledge. Theoretical Computer Science 217, 215-233 (1999)
11. Prediger, S.: Terminologische Merkmalslogik in der formalen Begriffsanalyse. In: Stumme, G., Ganter, B. (eds.) Begriffliche Wissensverarbeitung: Methoden und Anwendungen, pp. 99-124. Springer, Heidelberg (2000)
12. Baader, F.: Computing a minimal representation of the subsumption lattice of all conjunctions of concepts defined in a terminology. In: Proceedings of KRUSE 1995, Santa Cruz, USA, pp. 168-178 (1995)
13. Rudolph, S.: An FCA method for the extensional exploration of relational data. In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures, Contributions to ICCS 2003, Dresden, Germany, Shaker, Aachen, pp. 197-210 (2003)
14. Rudolph, S.: Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification. Dissertation, Universitätsverlag Karlsruhe (2006)
15. Baader, F., et al.: Completing description logic knowledge bases using formal concept analysis. In: Veloso, M.M. (ed.) IJCAI, pp. 230-235 (2007)
16. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1997)
17. Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Log. Program. 1, 267-284 (1984)
18. Maier, D.: The Theory of Relational Databases. Computer Science Press (1983)
19. Guigues, J.L., Duquenne, V.: Families minimales d'implications informatives resultant d'un tableau de données binaires. Math. Sei Humaines 95, 5-18 (1986)
20. Zickwolff, M.: Rule Exploration: First Order Logic in Formai Concept Analysis. PhD thesis, FB4, TH Darmstadt (1991)
21. Ganter, B., Rudolph, S.: Formal concept analysis methods for dynamic conceptual graphs. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 143-156. Springer, Heidelberg (2001)
22. Rudolph, S.: Exploring relational structures via FLE. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol. 3127, pp. 196-212. Springer, Heidelberg (2004)
23. Rudolph, S., Völker, J., Hitzler, P.: Supporting lexical ontology learning by relational exploration. In: Hill, R., Polovina, S., Priss, U. (eds.) Proceedings of ICCS 2007. LNCS (LNAI), Springer, Heidelberg (2007)
24. Ganter, B.: Finding closed sets under symmetry. Technical Report 1307, FB4, TH Darmstadt (1990)