{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T19:58:19Z","timestamp":1648929499570},"reference-count":63,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[2001,9]]},"DOI":"10.1016\/s0169-023x(01)00032-5","type":"journal-article","created":{"date-parts":[[2002,10,10]],"date-time":"2002-10-10T19:00:36Z","timestamp":1034276436000},"page":"301-334","source":"Crossref","is-referenced-by-count":7,"title":["\u2013 a dialog based integration of concept and rule reasoners"],"prefix":"10.1016","volume":"38","author":[{"given":"Mira","family":"Balaban","sequence":"first","affiliation":[]},{"given":"Adi","family":"Eyal","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0169-023X(01)00032-5_BIB1","series-title":"International Workshop on Description Logics, Linkoping, Sweden","first-page":"23","article-title":"Spatial reasoning for image retrieval","author":"Aiello","year":"1999"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB2","series-title":"KR-94","first-page":"3","article-title":"A computational account for a description logic of time and action","author":"Artale","year":"1994"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB3","series-title":"Proceedings of the 1999 Entity-Relationship Conference ER-99","first-page":"81","article-title":"Reasoning with enhanced temporal entity-relationship models","author":"Artale","year":"1999"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB4","series-title":"IJCAI-91","article-title":"Augmenting concept languages by transitive closure of roles: an alternative to terminological cycles","author":"Baader","year":"1991"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB5","series-title":"IJCAI-91","first-page":"452","article-title":"A schema for integrating concrete domains into concept languages","author":"Baader","year":"1991"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB6","series-title":"Proceedings of the Workshop on Processing Declarative Knowledge, PDK-91","first-page":"67","article-title":"A terminological knowledge representation system with complete inference algorithm","author":"Baader","year":"1991"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB7","series-title":"IJCAI-93","first-page":"669","article-title":"How to prefer more specific defaults in terminological default logic","author":"Baader","year":"1993"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB8","series-title":"KR-92","first-page":"270","article-title":"An empirical analysis of optimization techniques for terminological representation systems","author":"Baader","year":"1992"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/BF01535840","article-title":"The f-logic approach for description languages","volume":"15","author":"Balaban","year":"1995","journal-title":"Ann. Mathe. Artificial Intelligence"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB10","unstructured":"M. Balaban, Compositional semantics for descriptions knowledge bases with rules, Technical Report, Information Systems Program, Department of industrial Engineering and Management, Ben-Gurion University, Beer Sheva, Israel, 1996, ftp ftp.cs.bgu.ac.il, cd pub\/people\/mira"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB11","doi-asserted-by":"crossref","unstructured":"M. Balaban, N. Berezansky, E. Gudes, Answering cooperative recursive queries in federated databases, Technical report, Department of Computer Science, Ben-Gurion University, Beer Sheva, Israel, 2001","DOI":"10.1007\/3-540-45431-4_3"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB12","series-title":"ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS-97)","first-page":"99","article-title":"Rewriting queries using views in description logics","author":"Beery","year":"1997"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB13","series-title":"Proceedings, KI-94 Workshop on Reasoning about Structured Objects \u2013 Knowledge Representation Meets Databases, Saarbrucken, Germany","article-title":"Terminological logics for schema design and query processing in oodbs","author":"Beneventano","year":"1994"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB14","unstructured":"N. Berezansky, Cooperating queries in federated databases, M.Sc. thesis, Department of Computer Science, Ben-Gurion University of the Negev, Israel, 2001"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB15","series-title":"ACM-SIGMOD-89, Portland, OR","article-title":"Classic: a structural data model for objects","author":"Borgida","year":"1989"},{"issue":"3","key":"10.1016\/S0169-023X(01)00032-5_BIB16","first-page":"187","article-title":"The s-semantics approach: theory and applications","volume":"12","author":"Bossi","year":"1993","journal-title":"J. Logic Programm."},{"key":"10.1016\/S0169-023X(01)00032-5_BIB17","series-title":"IJCAI-85","first-page":"532","article-title":"An essential hybrid reasoning system: knowledge and symbol level accounts of krypton","author":"Brachman","year":"1985"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB18","series-title":"AAAI-82, Pittsburgh, PA","first-page":"189","article-title":"Competence in knowledge representation","author":"Brachman","year":"1982"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB19","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","article-title":"An overview of the kl-one knowledge representation system","volume":"9","author":"Brachman","year":"1985","journal-title":"Cognitive Sci."},{"key":"10.1016\/S0169-023X(01)00032-5_BIB20","series-title":"International Workshop on Description Logics, Roma, Italy","first-page":"131","article-title":"Implementing and testing expressive description logics: a preliminary report","author":"Bresciani","year":"1995"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB21","series-title":"Proceedings, AAAI-94","first-page":"199","article-title":"Terminological systems revisited: terminology=schema+views","author":"Buchheit","year":"1994"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB22","series-title":"International Workshop on Description Logics, Linkoping, Sweden","first-page":"9","article-title":"Answering queries using views in description logics","author":"Calvanese","year":"1999"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB23","series-title":"KR-94","first-page":"109","article-title":"A unified framework for class-based representation formalisms","author":"Calvanese","year":"1994"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB24","series-title":"Logics for Databases and Information Systems","first-page":"229","article-title":"Description logics for conceptual data modeling","author":"Calvanese","year":"1998"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB25","series-title":"International Workshop on Description Logics, Gif-sur-Yvette, France","first-page":"44","article-title":"A description logic for reasoning with behavioral knowledge","author":"Compatangelo","year":"1997"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB26","series-title":"International Workshop on Description Logics, Linkoping, Sweden","first-page":"46","article-title":"Icarus: intelligent classification and retrieval of unlabelled scenes","author":"Domenicucci","year":"1999"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB27","article-title":"A hybrid system with datalog and concept languages","volume":"vol. LNAI 549","author":"Donini","year":"1991"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB28","series-title":"Principles of Knowledge representation","first-page":"193","article-title":"Reasoning in description logics","author":"Donini","year":"1996"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB29","first-page":"225","article-title":"An epistemic operator for description logics","volume":"100","author":"Donini","year":"1998","journal-title":"AIJ"},{"issue":"4","key":"10.1016\/S0169-023X(01)00032-5_BIB30","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The semantics of predicate logic as a programming language","volume":"23","author":"Emden","year":"1976","journal-title":"J. ACM"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB31","unstructured":"A. Eyal, DFL \u2013 a truely heterogeneous system with a description logic and a rule components, M.Sc. thesis, Department of Mathematics and Computer Science, Ben-Gurion University of the Negev, Israel, 1998"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB32","series-title":"International Workshop on Description Logics, Linkoping, Sweden","first-page":"55","article-title":"Applying dls for retrieval in cased-based reasoning","author":"Gonzales-Calero","year":"1999"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB33","series-title":"Proceedings of the Workshop on Description Logics","first-page":"74","article-title":"Spatioterminological reasoning: subsumption based on geometrical inferences","author":"Haarslev","year":"1997"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB34","unstructured":"R. Himmeroder, C. Schlepphorst, Florid Version 1.0: User Manual, Technical Report, Institut fur Informatik, Universitat Freiburg, Freiburg, Germany, July 1996"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB35","series-title":"ECAI-90","first-page":"348","article-title":"Subsumption algorithms for concept description languages","author":"Hollunder","year":"1990"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB36","series-title":"KR-98","first-page":"636","article-title":"Using an expressive description logic: fact or fiction?","author":"Horrocks","year":"1998"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB37","series-title":"ECAI-96 Workshop on Knowledge Representation Meets Databases, Budapest, Hungary","first-page":"24","article-title":"A description logic based schema for the classification of medical data","author":"Horrocks","year":"1996"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB38","series-title":"SIGMOD-89","article-title":"F-logic: a higher-order language for reasoning about objects, inheritance, and scheme","author":"Kifer","year":"1989"},{"issue":"4","key":"10.1016\/S0169-023X(01)00032-5_BIB39","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","article-title":"Logical foundations of object-oriented and frame-based languages","volume":"42","author":"Kifer","year":"1995","journal-title":"JACM"},{"issue":"4","key":"10.1016\/S0169-023X(01)00032-5_BIB40","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","article-title":"Theory of generalized annotated logic programming and its applications","volume":"12","author":"Kifer","year":"1992","journal-title":"J. Logic Programm."},{"key":"10.1016\/S0169-023X(01)00032-5_BIB41","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","article-title":"Expressiveness and tractability in knowledge representation and reasoning","volume":"3","author":"Levesque","year":"1987","journal-title":"Computational Intelligence"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB42","series-title":"KR-96","first-page":"323","article-title":"Carin: a representation language combining horn rules and description logics","author":"Levy","year":"1996"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB43","series-title":"AAAI-96","article-title":"The limits on combining recursive horn rules and description logics","author":"Levy","year":"1996"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB44","unstructured":"K. Luck, B. Nebel, C. Peltason, A. Schmiesel, The back System, Technical Report KIT Report 29, Department of Computer Science, Technische Universit\u00e4t Berlin, Berlin, FRG, 1985"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB45","unstructured":"K. Luck, B. Nebel, C. Peltason, A. Schmiesel, The anatomy of the back System, Technical Report KIT Report 41, Department of Computer Science, Technische Universit\u00e4t Berlin, Berlin, FRG, 1987"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB46","series-title":"Principles of Semantic Networks: Explorations in the Representation of Knowledge","first-page":"385","article-title":"The evolving technology of classification-based knowledge representation systems","author":"MacGregor","year":"1991"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB47","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/0004-3702(88)90066-5","article-title":"Computational complexity of terminological reasoning in back","volume":"34","author":"Nebel","year":"1988","journal-title":"J. Artificial Intelligence"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB48","unstructured":"B. Nebel, Reasoning and revision in hybrid representation systems, Dissertation, University of Saarlands, Saarbr\u00fccken, 1989"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB49","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","article-title":"Terminological reasoning is inherently intractable","volume":"43","author":"Nebel","year":"1990","journal-title":"J. Artificial Intelligence"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB50","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(89)90030-1","article-title":"Undecidability of subsumption in nikl","volume":"39","author":"Patel-Schneider","year":"1989","journal-title":"J. Artificial Intelligence"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB51","series-title":"KR-92","first-page":"294","article-title":"A preference semantics for defaults in terminological logics","author":"Quantz","year":"1992"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB52","unstructured":"L. Resnick, A. Borgida, R. Brachman, D. McGuinness, P. Patel-Schneider, Classic description and reference manual for common lisp implementation, Technical Report Version 1.02, AT&T Bell Labs, 1990"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB53","series-title":"International Workshop on Description Logics, Linkoping, Sweden","first-page":"160","article-title":"Towards expressive kr systems integrating datalog and description logics: preliminary report","author":"Rosati","year":"1999"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB54","series-title":"Proceedings, Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ont., Canada","first-page":"421","article-title":"Subsumption in kl-one is undecidable","author":"Schmidt-Schau\u00df","year":"1989"},{"issue":"1","key":"10.1016\/S0169-023X(01)00032-5_BIB55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","article-title":"Attributive concept descriptions with complements","volume":"48","author":"Schmidt-Schau\u00df","year":"1991","journal-title":"J. Artificial Intelligence"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB56","series-title":"AAAI-82","first-page":"229","article-title":"A non-clausal connection-graph resolution theorem proving program","author":"Stickel","year":"1982"},{"issue":"2","key":"10.1016\/S0169-023X(01)00032-5_BIB57","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/176567.176571","article-title":"Amalgamating knowledge bases","volume":"19","author":"Subrahmanian","year":"1994","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB58","series-title":"3rd International Conference on Logic Programming","first-page":"84","article-title":"Old resolution with tabulation","author":"Tamaki","year":"1986"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB59","series-title":"Principles of Database and Knowledge-base Systems","author":"Ullman","year":"1989"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB60","series-title":"Active Database Systems","author":"Widom","year":"1996"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB61","series-title":"Principles of Semantic Networks: Explorations in the Representation of Knowledge","first-page":"45","article-title":"Understanding subsumption and taxonomy: a framework for progress","author":"Woods","year":"1991"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB62","series-title":"Computers and Mathematics with Applications","article-title":"The kl-one family","author":"Woods","year":"1992"},{"key":"10.1016\/S0169-023X(01)00032-5_BIB63","series-title":"LOPSTR-95","article-title":"Memoing evaluation by source-to-source transformation","author":"Wunderwald","year":"1995"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X01000325?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X01000325?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T13:20:35Z","timestamp":1578576035000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X01000325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,9]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,9]]}},"alternative-id":["S0169023X01000325"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(01)00032-5","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[2001,9]]}}}