{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,9]],"date-time":"2025-11-09T17:50:53Z","timestamp":1762710653971,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642018145"},{"type":"electronic","value":"9783642018152"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01815-2_1","type":"book-chapter","created":{"date-parts":[[2009,5,11]],"date-time":"2009-05-11T15:25:03Z","timestamp":1242055503000},"page":"1-21","source":"Crossref","is-referenced-by-count":6,"title":["Usability Issues in Description Logic Knowledge Base Completion"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bar\u0131\u015f","family":"Sertkaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"1_CR1","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-78137-0_4","volume-title":"Formal Concept Analysis","author":"F. Baader","year":"2008","unstructured":"Baader, F., Distel, F.: A finite basis for the set of $\\mathcal{EL}$ -implications holding in a finite model. In: Medina, R., Obiedkov, S. (eds.) ICFCA 2008. LNCS (LNAI), vol.\u00a04933, pp. 46\u201361. Springer, Heidelberg (2008)"},{"key":"1_CR3","series-title":"LNAI","volume-title":"ICFCA 2009","author":"F. Baader","year":"2009","unstructured":"Baader, F., Distel, F.: Exploring finite models in the description logic $\\mathcal{EL}_\\mathrm{gfp}$ . In: Ferr\u00e9, S., Rudolph, S. (eds.) ICFCA 2009. LNCS (LNAI), vol.\u00a05548, Springer, Heidelberg (2009)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Baader, F., Ganter, B., Sattler, U., Sertkaya, B.: Completing description logic knowledge bases using formal concept analysis. LTCS-Report LTCS-06-02, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, Germany (2006), http:\/\/lat.inf.tu-dresden.de\/research\/reports.html","DOI":"10.25368\/2022.155"},{"key":"1_CR5","first-page":"230","volume-title":"Proc. of the Twentieth Int. Joint Conf. on Artificial Intelligence (IJCAI 2007)","author":"F. Baader","year":"2007","unstructured":"Baader, F., Ganter, B., Sertkaya, B., Sattler, U.: Completing description logic knowledge bases using formal concept analysis. In: Proc. of the Twentieth Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 230\u2013235. AAAI Press, Menlo Park (2007)"},{"key":"1_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-74565-5_7","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the description logic $\\mathcal{EL}^+$ . In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"1_CR7","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $\\mathcal{EL}^+$ . In: Proc. of the Int. Conf. on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008), Phoenix, Arizona (2008)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/978-3-540-39718-2_42","volume-title":"The Semantic Web - ISWC 2003","author":"S. Bechhofer","year":"2003","unstructured":"Bechhofer, S., Volz, R., Lord, P.: Cooking the semantic web with the OWL API. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 659\u2013675. Springer, Heidelberg (2003)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/10722280_27","volume-title":"Conceptual Structures: Logical, Linguistic, and Computational Issues","author":"P. Burmeister","year":"2000","unstructured":"Burmeister, P., Holzer, R.: On the treatment of incomplete knowledge in formal concept analysis. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol.\u00a01867, pp. 385\u2013398. Springer, Heidelberg (2000)"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/11528784_6","volume-title":"Formal Concept Analysis","author":"P. Burmeister","year":"2005","unstructured":"Burmeister, P., Holzer, R.: Treating incomplete knowledge in formal concept analysis. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis. LNCS, vol.\u00a03626, pp. 114\u2013126. Springer, Heidelberg (2005)"},{"key":"1_CR11","unstructured":"Ganter, B.: Two basic algorithms in concept analysis. Technical Report Preprint-Nr. 831, Technische Hochschule Darmstadt, Darmstadt, Germany (1984)"},{"issue":"2","key":"1_CR12","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(2), 215\u2013233 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/j.dam.2004.06.019","volume":"147","author":"B. Ganter","year":"2005","unstructured":"Ganter, B., Krau\u00dfe, R.: Pseudo-models and propositional Horn inference. Discrete Applied Mathematics\u00a0147(1), 43\u201355 (2005)","journal-title":"Discrete Applied Mathematics"},{"key":"1_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis: Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)"},{"key":"1_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Halaschek-Wiener, C., Parsia, B., Sirin, E., Kalyanpur, A.: Description Logic reasoning for dynamic ABoxes. In: Proc. of the 19th Int. Workshop on Description Logics (DL 2006). CEUR-WS, vol.\u00a0189 (2006)","DOI":"10.21236\/ADA455672"},{"issue":"1","key":"1_CR17","doi-asserted-by":"crossref","first-page":"17","DOI":"10.3233\/FUN-2004-63102","volume":"63","author":"R. Holzer","year":"2004","unstructured":"Holzer, R.: Knowledge acquisition under incomplete knowledge using methods from formal concept analysis: Part I. Fundamenta Informaticae\u00a063(1), 17\u201339 (2004)","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"1_CR18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.3233\/FUN-2004-63103","volume":"63","author":"R. Holzer","year":"2004","unstructured":"Holzer, R.: Knowledge acquisition under incomplete knowledge using methods from formal concept analysis: Part II. Fundamenta Informaticae\u00a063(1), 41\u201363 (2004)","journal-title":"Fundamenta Informaticae"},{"key":"1_CR19","unstructured":"Horridge, M., Tsarkov, D., Redmond, T.: Supporting early adoption of OWL 1.1 with Protege-OWL and FaCT++. In: Proc. of the Second Int. Workshop OWL: Experiences and Directions (OWLED 2006). CEUR-WS (2006)"},{"issue":"1","key":"1_CR20","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: the making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/11762256_15","volume-title":"The Semantic Web: Research and Applications","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C.: Repairing unsatisfiable concepts in OWL ontologies. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol.\u00a04011, pp. 170\u2013184. Springer, Heidelberg (2006)"},{"issue":"2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1016\/j.websem.2005.10.001","volume":"4","author":"A. Kalyanpur","year":"2006","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Grau, B.C., Hendler, J.A.: Swoop: A web ontology editing browser. Journal of Web Semantics\u00a04(2), 144\u2013153 (2006)","journal-title":"Journal of Web Semantics"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-30475-3_17","volume-title":"The Semantic Web \u2013 ISWC 2004","author":"H. Knublauch","year":"2004","unstructured":"Knublauch, H., Fergerson, R.W., Noy, N.F., Musen, M.A.: The Prot\u00e9g\u00e9 OWL plugin: An open development environment for semantic web applications. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol.\u00a03298, pp. 229\u2013243. Springer, Heidelberg (2004)"},{"key":"1_CR24","unstructured":"Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic $\\mathcal{{ALC}}$ . In: Proc. of the 21st National Conf. on Artificial Intelligence (AAAI 2006), pp. 269\u2013274. AAAI Press\/The MIT Press (2006)"},{"key":"1_CR25","unstructured":"Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. Dissertation, Universit\u00e4t Karlsruhe (TH), Germany (2006)"},{"key":"1_CR26","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-73595-3_6","volume-title":"Automated Deduction \u2013 CADE-21","author":"B. Motik","year":"2007","unstructured":"Motik, B., Shearer, R., Horrocks, I.: Optimized reasoning in description logics using hypertableaux. In: Pfenning, F. (ed.) CADE 2007. LNCS (LNAI), vol.\u00a04603, pp. 67\u201383. Springer, Heidelberg (2007)"},{"key":"1_CR27","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-540-24750-0_15","volume-title":"Handbook on Ontologies, Int. Handbooks on Information Systems","author":"D. Oberle","year":"2004","unstructured":"Oberle, D., Volz, R., Staab, S., Motik, B.: An extensible ontology software environment. In: Handbook on Ontologies, Int. Handbooks on Information Systems, pp. 299\u2013320. Springer, Heidelberg (2004)"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/3-540-45483-7_24","volume-title":"Conceptual Structures: Integration and Interfaces","author":"S.A. Obiedkov","year":"2002","unstructured":"Obiedkov, S.A.: Modal logic for evaluating formulas in incomplete contexts. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS, vol.\u00a02393, pp. 314\u2013325. Springer, Heidelberg (2002)"},{"key":"1_CR29","unstructured":"Reeg, S., Wei\u00df, W.: Properties of Finite Lattices. Diplomarbeit, TH Darmstadt, Germany (1990)"},{"key":"1_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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 $\\mathcal{FLE}$ . In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS, vol.\u00a03127, pp. 196\u2013212. Springer, Heidelberg (2004)"},{"key":"1_CR31","unstructured":"Rudolph, S.: Relational Exploration: Combining Description Logics and Formal Concept Analysis for Knowledge Specification. Ph.D. Dissertation, Fakult\u00e4t Mathematik und Naturwissenschaften, TU Dresden, Germany (2006)"},{"key":"1_CR32","first-page":"355","volume-title":"Proc. of the Eighteenth Int. Joint Conf. on Artificial Intelligence (IJCAI 2003)","author":"S. Schlobach","year":"2003","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of the Eighteenth Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), pp. 355\u2013362. Morgan Kaufmann, San Francisco (2003)"},{"key":"1_CR33","unstructured":"Sirin, E., Parsia, B.: Pellet: An OWL DL reasoner. In: Proc. of the 2004 Int. Workshop on Description Logics (DL 2004). CEUR Workshop Proc., vol.\u00a0104. CEUR-WS.org (2004)"},{"key":"1_CR34","first-page":"457","volume-title":"Data Analysis and Information Systems. Statistical and Conceptual approaches. Proc. of GfKl 1995. Studies in Classification, Data Analysis, and Knowledge Organization","author":"G. Stumme","year":"1996","unstructured":"Stumme, G.: Attribute exploration with background implications and exceptions. In: Data Analysis and Information Systems. Statistical and Conceptual approaches. Proc. of GfKl 1995. Studies in Classification, Data Analysis, and Knowledge Organization, vol.\u00a07, pp. 457\u2013469. Springer, Heidelberg (1996)"},{"key":"1_CR35","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: FaCT++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/978-94-009-7798-3_15","volume-title":"Ordered Sets","author":"R. Wille","year":"1982","unstructured":"Wille, R.: Restructuring lattice theory: An approach based on hierarchies of concepts. In: Ordered Sets, pp. 445\u2013470. Reidel, Dordrecht (1982)"},{"key":"1_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1007\/11574620_56","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"K. Wolstencroft","year":"2005","unstructured":"Wolstencroft, K., Brass, A., Horrocks, I., Lord, P.W., Sattler, U., Turi, D., Stevens, R.: A little semantic web goes a long way in biology. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 786\u2013800. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01815-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T10:20:09Z","timestamp":1739096409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01815-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018145","9783642018152"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01815-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}