{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:53:55Z","timestamp":1725476035488},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678595"},{"type":"electronic","value":"9783540446637"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722280_20","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T02:49:25Z","timestamp":1167446965000},"page":"292-305","source":"Crossref","is-referenced-by-count":9,"title":["Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[]},{"given":"Ralf","family":"Molitor","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","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(1995)"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., K\u00fcsters, R.: Computing the least common subsumer and the most specific concept in the presence of cyclic $\\mathcal{ALN}$ -concept descriptions. In: Herzog, O. (ed.) KI 1998. LNCS, vol.\u00a01504. Springer, Heidelberg (1998)","DOI":"10.1007\/BFb0095434"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Proceedings of IJCAI 1999. Morgan Kaufmann, San Francisco (1999)","DOI":"10.25368\/2022.85"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Borgida, A., Patel-Schneider, P.: A semantics and complete algorithm for subsumption in the Classic description logic. J. Artificial Intelligence Research\u00a01 (1994)","DOI":"10.1613\/jair.56"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, W.W., Hirsh, H.: Learning the Classic description logic: Theoretical and experimental results. In: Proceedings of KR 1994. Morgan Kaufmann, San Francisco (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50108-1"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Hollunder, B., Nutt, W., Spaccamela, A.M.: The complexity of existential quantification in concept languages. Artificial Intelligence\u00a053 (1992)","DOI":"10.1016\/0004-3702(92)90076-A"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. J. Logic Programming\u00a03 (1984)","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"20_CR8","unstructured":"Duquenne, V.: Contextual implications between attributes and some representational properties for finite lattices. In: Beitr\u00e4ge zur Begriffsanalyse. B.I. Wissenschaftsverlag (1987)"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Frazier, M., Pitt, L.: Classic learning. Machine Learning 25 (1996)","DOI":"10.1023\/A:1026443024002"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Ganter, B.: Finding all closed sets: A general approach. Order\u00a08 (1991)","DOI":"10.1007\/BF00383449"},{"key":"20_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis \u2013 Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis \u2013 Mathematical Foundations. Springer, Heidelberg (1999)"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Horrocks, I.: The FaCT system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, p. 307. Springer, Heidelberg (1998)","DOI":"10.1007\/3-540-69778-0_30"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Marquardt, W.: Trends in computer-aided process modeling. Computers and Chemical Engineering\u00a020(6\/7) (1996)","DOI":"10.1016\/0098-1354(95)00195-6"},{"key":"20_CR14","unstructured":"Nassiri, M.: Berechnung einer erweiterten Subsumtionshierarchie. Diploma thesis, RWTH Aachen, Germany (1997)"},{"key":"20_CR15","unstructured":"Sattler, U.: Terminological Knowledge Representation Systems in a Process Engineering Application. PhD thesis, RWTH Aachen (1998)"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Stumme, G.: Exploration Tools in Formal Concept Analysis. In: Proceedings of OSDA 1995. Studies in Classification, Data Analysis, and Knowledge Organization, vol.\u00a08. Springer, Heidelberg (1996)","DOI":"10.1007\/978-3-642-61159-9_3"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Stumme, G.: The concept classification of a terminology extended by conjunction and disjunction. In: Foo, N.Y., G\u00f6bel, R. (eds.) PRICAI 1996. LNCS, vol.\u00a01114. Springer, Heidelberg (1996)","DOI":"10.1007\/3-540-61532-6_11"},{"key":"20_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-57217-3","volume-title":"Begriffliche Wissensverarbeitung \u2014 Methoden und Anwendungen","author":"G. Stumme","year":"2000","unstructured":"Stumme, G., Wille, R.: Begriffliche Wissensverarbeitung \u2014 Methoden und Anwendungen. Springer, Heidelberg (2000)"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Vogt, F., Wille, R.: TOSCANA - A graphical tool for analyzing and exploring data. In: Tamassia, R., Tollis, I.G. (eds.) GD 1994. LNCS, vol.\u00a0894. Springer, Heidelberg (1995)","DOI":"10.1007\/3-540-58950-3_374"}],"container-title":["Lecture Notes in Computer Science","Conceptual Structures: Logical, Linguistic, and Computational Issues"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722280_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T07:15:15Z","timestamp":1683702915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722280_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678595","9783540446637"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/10722280_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}