{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:55:23Z","timestamp":1747810523232},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781363"},{"type":"electronic","value":"9783540781370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78137-0_3","type":"book-chapter","created":{"date-parts":[[2008,2,13]],"date-time":"2008-02-13T23:34:46Z","timestamp":1202945686000},"page":"32-45","source":"Crossref","is-referenced-by-count":7,"title":["Acquiring Generalized Domain-Range Restrictions"],"prefix":"10.1007","author":[{"given":"Sebastian","family":"Rudolph","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"3_CR1","unstructured":"Baader, F., et al. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR2","first-page":"723","volume-title":"Proc. of the Thirteenth International World Wide Web Conference (WWW 2004)","author":"I. Horrocks","year":"2004","unstructured":"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\u2013731. ACM, New York (2004)"},{"key":"3_CR3","unstructured":"McGuinness, D., v. Harmelen, F.: OWL Web Ontology Language Overview. W3C Recommendation (February 10, 2004), http:\/\/www.w3.org\/TR\/owl-features\/"},{"key":"3_CR4","unstructured":"Ministry of Law and Justice, Government of India: The Child Marriage Restraint Act. Act No. 19 of 1929 (1929), http:\/\/indiacode.nic.in"},{"key":"3_CR5","series-title":"LNAI","volume-title":"Proceedings of AAAI 2007","author":"M. Kr\u00f6tzsch","year":"2007","unstructured":"Kr\u00f6tzsch, M., Rudolph, S., Hitzler, P.: Complexity boundaries for horn description logics. In: Proceedings of AAAI 2007. LNCS (LNAI), Springer, Heidelberg (2007)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proc. of the International World Wide Web Conference (WWW 2003)","author":"B. Grosof","year":"2003","unstructured":"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\u201357. ACM, New York (2003)"},{"key":"3_CR7","unstructured":"Busch, W.: Die fromme Helene. Diogenes (2003)"},{"key":"3_CR8","unstructured":"Ganter, B.: Two basic algorithms in concept analysis. Technical Report 831, FB4, TH Darmstadt (1984)"},{"key":"3_CR9","unstructured":"Burmeister, P.: Merkmalimplikationen bei unvollst\u00e4ndigem Wissen. In: Lex, W. (ed.) Arbeitstagung Begriffsanalyse und K\u00fcnstliche Intelligenz, TU Clausthal, pp. 15\u201346 (1991)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/S0304-3975(98)00271-0","volume":"217","author":"B. Ganter","year":"1999","unstructured":"Ganter, B.: Attribute exploration with background knowledge. Theoretical Computer Science\u00a0217, 215\u2013233 (1999)","journal-title":"Theoretical Computer Science"},{"key":"3_CR11","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-3-642-57217-3_5","volume-title":"Begriffliche Wissensverarbeitung: Methoden und Anwendungen","author":"S. Prediger","year":"2000","unstructured":"Prediger, S.: Terminologische Merkmalslogik in der formalen Begriffsanalyse. In: Stumme, G., Ganter, B. (eds.) Begriffliche Wissensverarbeitung: Methoden und Anwendungen, pp. 99\u2013124. Springer, Heidelberg (2000)"},{"key":"3_CR12","unstructured":"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\u2013178 (1995)"},{"key":"3_CR13","unstructured":"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\u2013210 (2003)"},{"key":"3_CR14","unstructured":"Rudolph, S.: Relational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification. Universit\u00e4tsverlag Karlsruhe, Dissertation (2006)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Baader, F., et al.: Completing description logic knowledge bases using formal concept analysis. In: Veloso, M.M. (ed.) IJCAI, pp. 230\u2013235 (2007)","DOI":"10.25368\/2022.155"},{"key":"3_CR16","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1997","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1997)"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Log. Program.\u00a01, 267\u2013284 (1984)","journal-title":"J. Log. Program."},{"key":"3_CR18","unstructured":"Maier, D.: The Theory of Relational Databases. Computer Science Press (1983)"},{"key":"3_CR19","first-page":"5","volume":"95","author":"J.L. Guigues","year":"1986","unstructured":"Guigues, J.L., Duquenne, V.: Familles minimales d\u2019implications informatives resultant d\u2019un tableau de donn\u00e9es binaires. Math. Sci Humaines\u00a095, 5\u201318 (1986)","journal-title":"Math. Sci Humaines"},{"key":"3_CR20","unstructured":"Zickwolff, M.: Rule Exploration: First Order Logic in Formal Concept Analysis. PhD thesis, FB4, TH Darmstadt (1991)"},{"key":"3_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/3-540-44583-8_11","volume-title":"Conceptual Structures: Broadening the Base","author":"B. Ganter","year":"2001","unstructured":"Ganter, B., Rudolph, S.: Formal concept analysis methods for dynamic conceptual graphs. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol.\u00a02120, pp. 143\u2013156. Springer, Heidelberg (2001)"},{"key":"3_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/978-3-540-27769-9_13","volume-title":"Conceptual Structures at Work","author":"S. Rudolph","year":"2004","unstructured":"Rudolph, S.: Exploring relational structures via FLE. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol.\u00a03127, pp. 196\u2013212. Springer, Heidelberg (2004)"},{"key":"3_CR23","series-title":"LNAI","volume-title":"Proceedings of ICCS 2007","author":"S. Rudolph","year":"2007","unstructured":"Rudolph, S., V\u00f6lker, 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)"},{"key":"3_CR24","unstructured":"Ganter, B.: Finding closed sets under symmetry. Technical Report 1307, FB4, TH Darmstadt (1990)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78137-0_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,16]],"date-time":"2023-05-16T09:43:20Z","timestamp":1684230200000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78137-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781363","9783540781370"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78137-0_3","relation":{},"subject":[]}}