{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T15:27:58Z","timestamp":1787239678581,"version":"build-2736575974"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,5,1]],"date-time":"1994-05-01T00:00:00Z","timestamp":767750400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Intell"],"published-print":{"date-parts":[[1994,5]]},"DOI":"10.1007\/bf00872106","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T09:10:02Z","timestamp":1104138602000},"page":"133-156","source":"Crossref","is-referenced-by-count":23,"title":["Query by class, rule, and concept"],"prefix":"10.1007","volume":"4","author":[{"given":"Martin","family":"Staudt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hans W.","family":"Nissen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manfred A.","family":"Jeusfeld","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Smalltalk-80: The Language and Its Implementation","author":"A. Goldberg","year":"1983","unstructured":"A. Goldberg and D. Robson,Smalltalk-80: The Language and Its Implementation Addison-Wesley: Reading, MA, 1983."},{"key":"CR2","unstructured":"B. Mitschang, ?Extending the ralational algebra to capture complex objects,? inProc. 15th Int. Conf. Very Large Databases, Amsterdam, 1989, pp. 297?305."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/3-540-55015-1_10","volume-title":"Proc. 2nd Int. Conf. Deductive and Object-Oriented Databases","author":"M. H. Scholl","year":"1991","unstructured":"M. H. Scholl, C. Laasch, and M. Tresch, ?Updatable views in object oriented databases,? inProc. 2nd Int. Conf. Deductive and Object-Oriented Databases Munich, Germany, Springer, pp. 189?207, 1991."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"M. Kifer, W. Kim, and Y. Sagiv, ?Querying object-oriented databases,? inProc. ACM-SIGMOID Int. Conf. Management of Data, San Diego, CA, 1992, pp. 393?402.","DOI":"10.1145\/141484.130342"},{"key":"CR5","first-page":"216","volume-title":"Proc. 2nd Int. Conf. on Database Systems for Advanced Applications","author":"B. Freitag","year":"1991","unstructured":"B. Freitag, H. Sch\u00fctz, and G. Specht, ?LOLA?A logic language for deductive databases and its implementation,? inProc. 2nd Int. Conf. on Database Systems for Advanced Applications Tokyo, Japan, World Scientific, 1991, pp. 216?225."},{"key":"CR6","series-title":"Technical Report","volume-title":"Documentation for EKS-VI","author":"L. Vielle","year":"1991","unstructured":"L. Vielle, P. Bayer, V. K\u00fcchenhoff, A. Lefebvre, and R. Manthey,Documentation for EKS-VI Technical Report TR-KB-36, ECRC, Munich, Germany, 1991."},{"key":"CR7","unstructured":"S. Naqvi and T. Tsur,A Logical Language for Data and Knowledge Bases, Computer Science Press, 1989."},{"key":"CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob, and L. Tanca,Logic Programming and Databases Springer-Verlag: Berlin, 1990."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"C. Beeri and R. Ramakrishnan, ?On the power of magic,? inProc. 6th ACM SIGMOD-SIGACT Symp. Principles of Database Syst., ACM Press, 1987.","DOI":"10.1145\/28659.28689"},{"key":"CR10","unstructured":"L. Vieille, ?Recursive axioms in deductive databases: The query-subquery approach,? inProc. 1st Int. Conf. Expert Database Systems, 1986."},{"key":"CR11","first-page":"488","volume-title":"Int. Conf. on Extending Database Technol.","author":"F. Bry","year":"1988","unstructured":"F. Bry, H. Decker, and R. Manthey, ?A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases,? inInt. Conf. on Extending Database Technol. Springer LNCS 303, Venice, Italy, 1988, pp. 488?505."},{"key":"CR12","unstructured":"A. Oliv\u00e9, ?Integrity constraints checking in deductive databases,? inProc. 17th Int. Conf. Very Large Databases, Barcelona, Spain, 1991, pp. 513?524."},{"key":"CR13","first-page":"234","volume-title":"Proc. 6th Int. Conf. on Logic Programming","author":"K. Eshghi","year":"1989","unstructured":"K. Eshghi and R. A. Kowalski, ?Abduction compared with negation by failure,? inProc. 6th Int. Conf. on Logic Programming edited by G. Levi and M. Martelli, MIT Press: Lisbon, pp. 234?254, 1989."},{"key":"CR14","unstructured":"A. C. Kakas and P. Mancarella, ?Database updates through abduction,? inProc. 16th Int. Conf. Very Large Databases, 1990, pp. 650?661."},{"issue":"2","key":"CR15","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U. S. Chakravarthy","year":"1990","unstructured":"U. S. Chakravarthy, J. Grant, and J. Minker, ?Logic-based approach to semantic query optimization,?ACM Trans. Database Syst. vol. 15, no. 2, pp. 162?207, 1990.","journal-title":"ACM Trans. Database Syst."},{"key":"CR16","unstructured":"S. Ceri and J. Widom, ?Deriving production rules for incremental view maintenance,? inProc. 17th Int. Conf. Very Large Databases, Barcelona, Spain, 1991, pp. 577?589."},{"issue":"2","key":"CR17","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"R. J. Brachman and J. G. Schmolze, ?An overview of the KL-ONE knowledge representation system,?Cogn. Sci. vol. 9, no. 2, pp. 171?216, 1985.","journal-title":"Cogn. Sci."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"H. W. Beck, S. K. Gala, and S. B. Navathe, ?Classification as a query processing technique in the CANDIDE semantic data model,? inProc. 5th Int. Conf. on Data Engineering, Los Angeles, CA, 1989, pp. 572?581.","DOI":"10.1109\/ICDE.1989.47264"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"A. Borgida, R. J. Brachman, D. McGuiness, and L. A. Resnick, ?CLASSIC: A structural data model for Objects,? inProc. ACM-SIGMOD Int. Conf. on Management of Data, 1988, pp. 58?67.","DOI":"10.1145\/66926.66932"},{"key":"CR20","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt, ?The complexity of concept languages,? inProc. 2nd Int. Conf. Principles of Knowledge Representation and Reasoning, Cambridge, MA, pp. 151?162, 1991."},{"issue":"3","key":"CR21","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/132271.132272","volume":"17","author":"S. Bergamaschi","year":"1992","unstructured":"S. Bergamaschi and C. Sartori, ?On taxonomic reasoning in conceptual design,?ACM Trans. Database Syst. vol. 17, no. 3, pp. 385?422, 1992.","journal-title":"ACM Trans. Database Syst."},{"key":"CR22","volume-title":"Update Control in Deductive Object Bases","author":"M. Jeusfeld","year":"1992","unstructured":"M. Jeusfeld,Update Control in Deductive Object Bases (in German). Infix-Verlag: St. Augustin, Germany, 1992."},{"issue":"4","key":"CR23","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J. Mylopoulos","year":"1990","unstructured":"J. Mylopoulos, A. Borgida, M. Jarke, and M. Koubarakis, ?Telos: a language for representing knowledge about information systems,? inACM Trans. Inf. Syst. vol. 8, no. 4, pp. 325?362, 1990.","journal-title":"ACM Trans. Inf. Syst."},{"key":"CR24","volume-title":"Query Representation and Evaluation in Deductive Object Bases","author":"M. Staudt","year":"1990","unstructured":"M. Staudt,Query Representation and Evaluation in Deductive Object Bases (in German), Diploma thesis, Universit\u00e4t Passau, Germany, 1990."},{"issue":"1","key":"CR25","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1142\/S0218215792000052","volume":"1","author":"A. Borgida","year":"1992","unstructured":"A. Borgida, ?From type systems to knowledge representation: natural semantics specifications for description logics,?Int. J. Intell. Coop. Inf. Syst. vol. 1, no. 1, pp. 93?126, 1992.","journal-title":"Int. J. Intell. Coop. Inf. Syst."},{"key":"CR26","volume-title":"Principles of Semantic Networks","author":"R. J. Brachman","year":"1991","unstructured":"R. J. Brachman, D. L. McGuinness, P. F. Patel-Schneider, L. A. Resnick, and A. Borgida, ?Living with CLASSIC: When and how to use a KL-ONE-like language,? inPrinciples of Semantic Networks edited by J. Sowa, Morgan Kaufmann: San Mateo, CA, 1991."},{"key":"CR27","unstructured":"B. Hollunder, W. Nutt, and M. Schmidt-Schauss, ?Subsumption algorithms for concept description languages,? inProc. 9th Eur. Conf. Artif. Intell., John Wiley & Sons, 1990, pp. 348?353."},{"key":"CR28","series-title":"Report Aachener InformatikBerichte Nr","volume-title":"ConceptBase V3.1 User Manual","year":"1992","unstructured":"M. Jarke (ed.),ConceptBase V3.1 User Manual Report Aachener InformatikBerichte Nr. 92-17, RWTH Aachen, Germany, 1992."},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd and R. W. Topor, ?Making PROLOG more expressive,?J. Logic Programming, pp. 225?240, 1984.","DOI":"10.1016\/0743-1066(84)90011-6"},{"key":"CR30","volume-title":"Design and Implementation of an Object Algebra for a Deductive Object Base System","author":"H. J. Thoennissen","year":"1992","unstructured":"H. J. Thoennissen,Design and Implementation of an Object Algebra for a Deductive Object Base System (in German), Diploma thesis, RWTH Aachen, Germany, 1992."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1007\/3-540-55015-1_25","volume-title":"Proc. 2nd Int. Conf. on Deductive and Object-Oriented Databases, volum 566 ofLecture Notes in Computer Science,","author":"M. Jeusfeld","year":"1991","unstructured":"M. Jeusfeld and M. Jarke, ?From relational to object-oriented integrity simplification,? inProc. 2nd Int. Conf. on Deductive and Object-Oriented Databases, volum 566 ofLecture Notes in Computer Science, Springer-Verlag: Berlin, pp. 460?477, 1991."},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"U. Dayal, ?Active database management systems,? inProc. 3rd Int. Conf. on Data and Knowledge Bases, Jerusalem, Israel, 1988.","DOI":"10.1016\/B978-1-4832-1313-2.50019-6"},{"key":"CR33","doi-asserted-by":"crossref","unstructured":"R. Fagin, J. D. Ullman, and M. Y. Vardi, ?On the semantics of updates in databases,? inProc. of 2nd ACM SIGACT-SIGMOD, 1983, pp. 352?365.","DOI":"10.1145\/588058.588100"},{"key":"CR34","volume-title":"Knowledge in Flux","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors,Knowledge in Flux MIT Press: Cambridge, MA, 1988."},{"key":"CR35","volume-title":"Query Processing for Advanced Database Applications","author":"M. Jeusfeld","year":"1993","unstructured":"M. Jeusfeld and M. Staudt, ?Query optimization in deductive object bases,? inQuery Processing for Advanced Database Applications edited by Freytag et al., Morgan-Kaufmann: San Mateo, CA, 1993."},{"key":"CR36","series-title":"Report Aachener Informatik-Berichte","volume-title":"Subsumption between queries to object-oriented databases","author":"M. Buchheit","year":"1993","unstructured":"M. Buchheit, M. A. Jeusfeld, W. Nutt, and M. Staudt, ?Subsumption between queries to object-oriented databases,? Report Aachener Informatik-Berichte 93-9, RWTH Aachen, Germany, 1993."},{"key":"CR37","unstructured":"P. S. Chen, R. Hennicker, and M. Jarke, ?On the retrieval of reusable software components,? inProc. 2nd Int. Workshop on Software Reuse, Lucca, Italy, 1993."},{"key":"CR38","unstructured":"T. Rose, M. Jarke, and J. Mylopoulos, ?Organizing software repositories?modeling requirements and implementation experiences,? inProc. 16th Int. Computer Software Appl. Conf., Chicago, IL, 1992."},{"issue":"7","key":"CR39","doi-asserted-by":"crossref","first-page":"612","DOI":"10.1016\/0167-4048(91)90119-X","volume":"10","author":"G. Steinke","year":"1991","unstructured":"G. Steinke, ?Design aspects of access control in a knowledge base system,? inComputers & Security vol. 10, no. 7, pp. 612?625, 1991.","journal-title":"Computers & Security"},{"key":"CR40","volume-title":"Schema Integration of Relational Databases","author":"A. Klemann","year":"1991","unstructured":"A. Klemann,Schema Integration of Relational Databases (in German), Diploma thesis, Universit\u00e4t Passau, Germany, 1991."},{"key":"CR41","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","volume":"5","author":"S. Abiteboul","year":"1990","unstructured":"S. Abiteboul, ?Towards a deductive object-oriented database language,?Data Knowledge Eng. vol. 5, pp. 263?287, 1990.","journal-title":"Data Knowledge Eng."},{"key":"CR42","series-title":"Lecture Notes on Artificial Intelligence","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/3-540-54712-6_221","volume-title":"Trends in Artificial Intelligence","author":"F. M. Donini","year":"1991","unstructured":"F. M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf, ?A hybrid system with datalog and concept languages,? inTrends in Artificial Intelligence edited by E. Ardizzone, S. Gaglio, and F. Sorbello, volume 549 inLecture Notes on Artificial Intelligence Springer-Verlag: Berlin, pp. 88?97, 1991."}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00872106.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00872106\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00872106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,21]],"date-time":"2024-12-21T14:14:10Z","timestamp":1734790450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00872106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,5]]},"references-count":42,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,5]]}},"alternative-id":["BF00872106"],"URL":"https:\/\/doi.org\/10.1007\/bf00872106","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"value":"0924-669X","type":"print"},{"value":"1573-7497","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,5]]}}}