{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:47:52Z","timestamp":1749221272058},"reference-count":71,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[1995]]},"DOI":"10.1109\/69.469829","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T19:16:32Z","timestamp":1030216592000},"page":"671-682","source":"Crossref","is-referenced-by-count":142,"title":["Description logics in data management"],"prefix":"10.1109","volume":"7","author":[{"given":"A.","family":"Borgida","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"BIBK067110","doi-asserted-by":"publisher","DOI":"10.1007\/BF00872108"},{"key":"BIBK067152","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-74064-0_8"},{"key":"BIBK067151","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54594-8_74"},{"key":"BIBK067154","first-page":"11","article-title":"small can be beautiful in knowledge representation","author":"patel-schneider","year":"1984","journal-title":"Proc IEEE Workshop on Principles of Knowledge-Based Systems"},{"key":"BIBK067153","first-page":"84","article-title":"view-concepts: knowledge-based access to databases","author":"pastor","year":"1992","journal-title":"Proc CIKM 92"},{"key":"BIBK067150","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53557-8_27"},{"key":"BIBK067159","first-page":"421","article-title":"subsumption in kl-one is undecidable","author":"schmidt-schauss","year":"1989","journal-title":"Proc KR ?89"},{"key":"BIBK067155","first-page":"280","article-title":"argon: knowledge representation meets information retrieval","author":"patel-schneider","year":"1984","journal-title":"Proc First Conf on Artificial Intelligence Applications"},{"key":"BIBK067156","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90036-2"},{"key":"BIBK067119","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1613\/jair.56","article-title":"a semantics and complete algorithm for subsumption in the classicdescription logic","author":"borgida","year":"1994","journal-title":"J of Artificial Intelligence Research"},{"key":"BIBK067157","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0023423"},{"key":"BIBK067158","article-title":"a correspondence theory for terminological logics—preliminaryreport","author":"schild","year":"1991","journal-title":"Proc IJCAI ?91"},{"key":"BIBK067116","doi-asserted-by":"publisher","DOI":"10.1145\/170035.170073"},{"key":"BIBK067115","first-page":"482","article-title":"customizable classification inference in the protodl description managementsystem","author":"borgida","year":"1992","journal-title":"Proc Conf Information and Knowledge Management"},{"key":"BIBK067118","first-page":"171","article-title":"knowledge base management systems using description logics, and their rolein software information systems","volume":"3","author":"borgida","year":"1992"},{"key":"BIBK067117","doi-asserted-by":"publisher","DOI":"10.1145\/67544.66932"},{"key":"BIBK067112","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57292-9_50"},{"key":"BIBK067111","doi-asserted-by":"publisher","DOI":"10.1145\/132271.132272"},{"key":"BIBK067114","article-title":"towards the systematic development of terminological reasoners: claspreconstructed","author":"borgida","year":"1992","journal-title":"Proc Conf on Principles of Knowledge Representation (KR ?92)"},{"key":"BIBK067113","article-title":"from type systems to knowledge representation: natural semanticsspecifications for description logics","volume":"1","author":"borgida","year":"1992","journal-title":"Int?l J of Intelligent and Cooperative Information Systems"},{"key":"BIBK067120","article-title":"a structural paradigm for representing knowledge","author":"brachman","year":"1977","journal-title":"?A structural paradigm for representing knowledge ?"},{"key":"BIBK067121","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0902_1"},{"key":"BIBK067165","article-title":"rabbit: an intelligent database assistant","author":"tou","year":"0","journal-title":"Proc AAAI ?82"},{"key":"BIBK067164","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1452-8.50145-7"},{"key":"BIBK067163","first-page":"497","article-title":"implicit representation of extensional answers","author":"shum","year":"1989","journal-title":"Proc Second Int?l Conf on Expert Database Systems"},{"key":"BIBK067162","doi-asserted-by":"publisher","DOI":"10.1142\/S0218215793000034"},{"key":"BIBK067161","doi-asserted-by":"publisher","DOI":"10.1145\/96602.96604"},{"key":"BIBK067160","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90078-X"},{"key":"BIBK06713","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1992.213146"},{"key":"BIBK06712","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54141-1_4"},{"key":"BIBK06711","article-title":"a lattice theoretic approach to computation based on a calculus ofpartially ordered type structures","author":"ait-kaci","year":"1984","journal-title":"?A lattice theoretic approach to computation based on a calculus ofpartially ordered type structures ?"},{"key":"BIBK06717","article-title":"an empirical analysis of optimization techniques for terminologicalrepresentation systems","author":"baader","year":"1992","journal-title":"Proc KR ?92"},{"key":"BIBK067168","first-page":"183","article-title":"a knowledge-based configurator that supports sales, engineering, andmanufacturing at at&t network systems","author":"wright","year":"1993","journal-title":"Proc Conf Industrial Applications of AI (IAAI ?93)"},{"key":"BIBK06716","doi-asserted-by":"publisher","DOI":"10.1145\/122296.122298"},{"key":"BIBK067169","doi-asserted-by":"publisher","DOI":"10.1109\/69.75885"},{"key":"BIBK06715","article-title":"a scheme for integrating concrete domains into concept languages","author":"baader","year":"1991","journal-title":"Proc IJCAI ?91"},{"key":"BIBK067166","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(92)90139-9"},{"key":"BIBK06714","article-title":"retrieving and integrating data from multiple information systems","volume":"3","author":"arens","year":"1994","journal-title":"Int?l J of Intelligent and Cooperative Information Systems"},{"key":"BIBK067167","doi-asserted-by":"crossref","DOI":"10.1016\/B978-1-4832-0771-1.50007-2","article-title":"understanding subsumption and taxonomy: a framework for progress","author":"woods","year":"1991","journal-title":"Principles of Semantic Networks Explorations in the Representation of Knowledge"},{"key":"BIBK067129","article-title":"computing least common subsumers in description logics","author":"cohen","year":"1992","journal-title":"Proc of AAAI ?92"},{"key":"BIBK067128","doi-asserted-by":"publisher","DOI":"10.1142\/S0218215793000174"},{"key":"BIBK067127","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530098"},{"key":"BIBK06719","doi-asserted-by":"publisher","DOI":"10.1109\/69.334862"},{"key":"BIBK06718","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1989.47264"},{"key":"BIBK067126","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-4832-1452-8.50107-X"},{"key":"BIBK067125","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4379(94)90025-6"},{"key":"BIBK067124","doi-asserted-by":"publisher","DOI":"10.1142\/S0218215793000083"},{"key":"BIBK067123","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1983.1654200"},{"key":"BIBK067122","first-page":"34","article-title":"the tractability of subsumption in frame-based descriptionlanguages","author":"brachman","year":"1984","journal-title":"Proc AAAI ?84"},{"key":"BIBK067130","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.1989.47194"},{"key":"BIBK067132","doi-asserted-by":"publisher","DOI":"10.1145\/103167.103172"},{"key":"BIBK067131","article-title":"plan-based terminological reasoning","author":"devanbu","year":"1991","journal-title":"Proc Conf on Principles of Knowledge Representation (KR ?91)"},{"key":"BIBK067133","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296763"},{"key":"BIBK067171","doi-asserted-by":"publisher","DOI":"10.1142\/S0218215794000211"},{"key":"BIBK067134","first-page":"458","article-title":"tractable concept languages","author":"donini","year":"1991","journal-title":"Proc IJCAI ?91"},{"key":"BIBK067135","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1997.2625"},{"key":"BIBK067136","first-page":"342","article-title":"adding epistemic operators to concept languages","author":"donini","year":"1992","journal-title":"Proc KR ?92"},{"key":"BIBK067170","doi-asserted-by":"publisher","DOI":"10.1145\/191246.191283"},{"key":"BIBK067137","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(91)90029-J"},{"key":"BIBK067138","doi-asserted-by":"publisher","DOI":"10.1145\/582399.582400"},{"key":"BIBK067139","first-page":"348","article-title":"subsumption algorithms for concept description languages","author":"hollunder","year":"1990","journal-title":"Proc Ninth ECAI"},{"key":"BIBK067143","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90009-2"},{"key":"BIBK067142","first-page":"471","article-title":"concept languages as query languages","author":"lenzerini","year":"1991","journal-title":"Proc AAAI ?91"},{"key":"BIBK067141","first-page":"360","article-title":"modeling complex structures in object-oriented databases","author":"lecluse","year":"1989","journal-title":"Proc ACM PODS Conf"},{"key":"BIBK067140","doi-asserted-by":"publisher","DOI":"10.1145\/45072.45073"},{"key":"BIBK067146","article-title":"the evolving technology of classification-based knowledge representation systems","author":"macgregor","year":"1991","journal-title":"Principles of Semantic Networks Explorations in the Representation of Knowledge"},{"key":"BIBK067147","article-title":"rule-based inference in large knowledge bases","author":"mark","year":"1980","journal-title":"Proc AAAI ?80"},{"key":"BIBK067144","article-title":"the anatomy of the back system","author":"von luck","year":"1987"},{"key":"BIBK067145","first-page":"403","article-title":"a deductive pattern matcher","author":"macgregor","year":"1987","journal-title":"Proc AAAI ?87"},{"key":"BIBK067148","doi-asserted-by":"publisher","DOI":"10.1109\/MEX.1987.4307092"},{"key":"BIBK067149","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(90)90087-G"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx3\/69\/9912\/00469829.pdf?arnumber=469829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:12:52Z","timestamp":1638216772000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/469829\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":71,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/69.469829","relation":{},"ISSN":["1041-4347"],"issn-type":[{"value":"1041-4347","type":"print"}],"subject":[],"published":{"date-parts":[[1995]]}}}