Database concepts for the support of knowledge-based systems
Identifieur interne : 001464 ( Istex/Corpus ); précédent : 001463; suivant : 001465Database concepts for the support of knowledge-based systems
Auteurs : Thomas Ludwig ; Bernd WalterSource :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 1991.
Abstract
Abstract: The purpose of a database management system is the reliable and efficient management of shared persistent data. Current knowledge-based systems are designed for representing and processing knowledge in a way that is cognitively adequate. Since knowledge should be kept persistent as well, it seems to be interesting to combine the techniques of database management systems and knowledge-based systems into something like a knowledge base management system. We shortly show some conceptual differences between these two types of systems and then discuss how database concepts should be evolved in order to meet the requirements of knowledge-based systems. Using LILOG-DB as an example, we demonstrate in detail the modeling capabilities a database system should provide in order to support typical knowledge structures. Especially, we discuss the design of FLL, a first-order logic based query language supporting an order-sorted complex-object data-model under an Open-World Assumption.
Url:
DOI: 10.1007/3-540-53557-8_23
Links to Exploration step
ISTEX:E8DEEC579A123610F2604257D5AC210F442DC42DLe document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Database concepts for the support of knowledge-based systems</title><author><name sortKey="Ludwig, Thomas" sort="Ludwig, Thomas" uniqKey="Ludwig T" first="Thomas" last="Ludwig">Thomas Ludwig</name><affiliation><mods:affiliation>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</mods:affiliation></affiliation></author><author><name sortKey="Walter, Bernd" sort="Walter, Bernd" uniqKey="Walter B" first="Bernd" last="Walter">Bernd Walter</name><affiliation><mods:affiliation>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</mods:affiliation></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:E8DEEC579A123610F2604257D5AC210F442DC42D</idno><date when="1991" year="1991">1991</date><idno type="doi">10.1007/3-540-53557-8_23</idno><idno type="url">https://api.istex.fr/document/E8DEEC579A123610F2604257D5AC210F442DC42D/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001464</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001464</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Database concepts for the support of knowledge-based systems</title><author><name sortKey="Ludwig, Thomas" sort="Ludwig, Thomas" uniqKey="Ludwig T" first="Thomas" last="Ludwig">Thomas Ludwig</name><affiliation><mods:affiliation>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</mods:affiliation></affiliation></author><author><name sortKey="Walter, Bernd" sort="Walter, Bernd" uniqKey="Walter B" first="Bernd" last="Walter">Bernd Walter</name><affiliation><mods:affiliation>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</mods:affiliation></affiliation></author></analytic><monogr></monogr><series><title level="s">Lecture Notes in Computer Science</title><imprint><date>1991</date></imprint><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series><idno type="istex">E8DEEC579A123610F2604257D5AC210F442DC42D</idno><idno type="DOI">10.1007/3-540-53557-8_23</idno><idno type="ChapterID">6</idno><idno type="ChapterID">Chap6</idno></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: The purpose of a database management system is the reliable and efficient management of shared persistent data. Current knowledge-based systems are designed for representing and processing knowledge in a way that is cognitively adequate. Since knowledge should be kept persistent as well, it seems to be interesting to combine the techniques of database management systems and knowledge-based systems into something like a knowledge base management system. We shortly show some conceptual differences between these two types of systems and then discuss how database concepts should be evolved in order to meet the requirements of knowledge-based systems. Using LILOG-DB as an example, we demonstrate in detail the modeling capabilities a database system should provide in order to support typical knowledge structures. Especially, we discuss the design of FLL, a first-order logic based query language supporting an order-sorted complex-object data-model under an Open-World Assumption.</div></front></TEI><istex><corpusName>springer</corpusName><author><json:item><name>Thomas Ludwig</name><affiliations><json:string>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</json:string></affiliations></json:item><json:item><name>Bernd Walter</name><affiliations><json:string>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><originalGenre><json:string>ReviewPaper</json:string></originalGenre><abstract>Abstract: The purpose of a database management system is the reliable and efficient management of shared persistent data. Current knowledge-based systems are designed for representing and processing knowledge in a way that is cognitively adequate. Since knowledge should be kept persistent as well, it seems to be interesting to combine the techniques of database management systems and knowledge-based systems into something like a knowledge base management system. We shortly show some conceptual differences between these two types of systems and then discuss how database concepts should be evolved in order to meet the requirements of knowledge-based systems. Using LILOG-DB as an example, we demonstrate in detail the modeling capabilities a database system should provide in order to support typical knowledge structures. Especially, we discuss the design of FLL, a first-order logic based query language supporting an order-sorted complex-object data-model under an Open-World Assumption.</abstract><qualityIndicators><score>6.716</score><pdfVersion>1.3</pdfVersion><pdfPageSize>468 x 684 pts</pdfPageSize><refBibsNative>false</refBibsNative><keywordCount>0</keywordCount><abstractCharCount>996</abstractCharCount><pdfWordCount>7902</pdfWordCount><pdfCharCount>43647</pdfCharCount><pdfPageCount>17</pdfPageCount><abstractWordCount>143</abstractWordCount></qualityIndicators><title>Database concepts for the support of knowledge-based systems</title><chapterId><json:string>6</json:string><json:string>Chap6</json:string></chapterId><refBibs><json:item><host><author></author><title>~Note that loc~I integrity const~alnts on single f~-seSs can be expresged by sort-cons~ralnts; see ~he pev*on-exal'aple above</title></host></json:item><json:item><host><author><json:item><name>J,R </name></json:item></author><title>Data Semantics</title><publicationDate>1974</publicationDate></host></json:item><json:item><host><author><json:item><name>R Agr~wal</name></json:item><json:item><name>N Gehani</name></json:item></author><title>ODE (Object Database and Enviro~rnent): The Language and the Data-Model</title></host></json:item><json:item><author><json:item><name>H Ait-Kaci~</name></json:item><json:item><name>R Nasr</name></json:item></author><host><pages><last>215</last><first>185</first></pages><author></author><title>LOGIN: A Logic Programming Language with Built-In Inheritance JLP 1986</title></host></json:item><json:item><host><pages><last>52</last><first>6</first></pages><author><json:item><name>F Baneilhon</name></json:item><json:item><name>R Ramakrishnan</name></json:item></author><title>An Amateur's Introduction ~o Recursive Query Processing Strategies SIGMOD</title><publicationDate>1086</publicationDate></host></json:item><json:item><author><json:item><name>C Beeri</name></json:item></author><host><author></author><title>Prec. tst Int. Conf. on Deductive and Object- Oriented Databases</title><publicationDate>1989</publicationDate></host><title>Formal Methods for Object Oriented Databases</title><publicationDate>1989</publicationDate></json:item><json:item><host><pages><last>37</last><first>21</first></pages><author><json:item><name>C Beeri</name></json:item></author><title>Sets and Negation in a Logic Database Language (LDLI) PODS 6</title><publicationDate>1987</publicationDate></host></json:item><json:item><author><json:item><name>C Beeri</name></json:item><json:item><name>R Nasr</name></json:item><json:item><name> Sh</name></json:item></author><host><pages><first>1088</first></pages><author></author><title>Clause Logic Language Proc. 3rd Int. Conf. on Data and Knowledge Buses</title></host><title>Taut: ~mbeddlng ~b-terms in a Horn</title></json:item><json:item><author><json:item><name>R Braehman</name></json:item><json:item><name>J </name></json:item></author><host><volume>1085</volume><pages><last>216</last><first>171</first></pages><issue>9</issue><author></author><title>Cognitive Science</title></host><title>Schmol~e: An Overview of the KL-ONE Knowledge Representation System</title></json:item><json:item><host><author><json:item><name>S Cell</name></json:item><json:item><name>G Gottlob</name></json:item><json:item><name>D Tanca</name></json:item></author><title>Logic Programming and Databases</title><publicationDate>1990</publicationDate></host></json:item><json:item><author><json:item><name>P Chen</name></json:item></author><host><volume>1</volume><pages><last>36</last><first>9</first></pages><issue>1</issue><author></author><title>TODS</title><publicationDate>1976</publicationDate></host><title>The Entity-Relatlonshlp Model: Toward a United View of Data</title><publicationDate>1976</publicationDate></json:item><json:item><host><pages><last>387</last><first>377</first></pages><author><json:item><name>B,F Codd</name></json:item></author><title>A Relational Model for Large Shared Data Banks CACM 13:6</title></host></json:item><json:item><host><author><json:item><name>O,J Dahl</name></json:item></author><title>SIMULA 67 Common Base Language Publication N.S-22</title><publicationDate>1970</publicationDate></host></json:item><json:item><host><author><json:item><name>R Ehnasri</name></json:item><json:item><name>S,B </name></json:item></author><title>Navathe: Fundamentals of Database ~ystems Benjamin</title><publicationDate>1989</publicationDate></host></json:item><json:item><host><author><json:item><name>R,A </name></json:item></author><title>Frost: Introduction to Knowledge Base Systems Collins</title><publicationDate>1986</publicationDate></host></json:item><json:item><host><author><json:item><name>G Gardarin</name></json:item><json:item><name>P Valduriez</name></json:item></author><publicationDate>1989</publicationDate></host></json:item><json:item><author><json:item><name>M,H~ </name></json:item><json:item><name>D Mcbeod</name></json:item></author><host><pages><last>386</last><first>351</first></pages><author></author><title>Database Description with SDM: A Semantic Database Mode]. ACM TODS 1981</title></host></json:item><json:item><author><json:item><name>H Kamp</name></json:item></author><host><volume>320</volume><pages><last>111</last><first>84</first></pages><author></author><title>LNCS</title></host><title>Discourse Representation Theory: What it is and wl~ere it ought to go</title></json:item><json:item><author><json:item><name>R,T Kasper</name></json:item><json:item><name>W,C Rounds</name></json:item></author><host><pages><last>2</last><first>257</first></pages><author></author><title>A Loglcal Semantics for Feature Structures Proc. 24th Ann. Meeting of the Ass. for Comp. Linguistics</title><publicationDate>1986</publicationDate></host><publicationDate>1986</publicationDate></json:item><json:item><author><json:item><name>M Ley</name></json:item></author><host><volume>60</volume><author></author><title>Objekte IBM Germany, LILOG-Report</title><publicationDate>1088</publicationDate></host><title>Ein Fact-Manager znr persistenten Speicherung variabel strukturierter komplexer</title><publicationDate>1088</publicationDate></json:item><json:item><host><author><json:item><name>M Ley</name></json:item><json:item><name>B Walter</name></json:item></author><title>Der LILOG-DB Fact-Manager: Bin Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte to appear in: Informatik -Forschung und Entwicklung</title><publicationDate>1990</publicationDate></host></json:item><json:item><author><json:item><name>T Ludwig</name></json:item></author><host><author></author><title>A Brief Overview of LILOG-DB . Proc. Data Engineering Conf. 1990 Compilation of Complex Datalog wlth Strat~aed Negation Proe. 9th British National Conference on Databases</title><publicationDate>1980</publicationDate></host><title>I~FTA: An Algebra for Deductive Retrieval of Feature Terms IBM Germany~ LILOG°l~eport 58~Walter: EFTA : An Algebra for Deductive Databases</title><publicationDate>1980</publicationDate></json:item><json:item><host><author><json:item><name>S Naqvi~</name></json:item><json:item><name>S </name></json:item></author><title>Tsur: A Logical Language for Data and Knowledge Bases</title><publicationDate>1989</publicationDate></host></json:item><json:item><host><pages><last>131</last><first>118</first></pages><author><json:item><name>B Nixon</name></json:item><json:item><name>L Chung</name></json:item></author><title>Implementation of a Compiler for a Semantic Data Model: Experience with Taxis. SIGMOD Conf</title><publicationDate>1987</publicationDate></host></json:item><json:item><author><json:item><name>J Peckham</name></json:item><json:item><name>F Maryanski</name></json:item></author><host><volume>20</volume><issue>3</issue><author></author><title>ACM Computing Surveys</title><publicationDate>1988-09</publicationDate></host><title>Semantic Data Models</title><publicationDate>1988-09</publicationDate></json:item><json:item><host><pages><last>193</last><first>988</first></pages><author><json:item><name>T Pr~ymusinski</name></json:item></author><title>On the Declarative Semantics of Deductive Databases and Logic Programs In: Foundations of Deductive Databases and Logic Programming</title></host></json:item><json:item><author><json:item><name>J,E Richardson</name></json:item></author><host><volume>824</volume><author></author><title>Science Technical Report</title><publicationDate>1989</publicationDate></host><title>The Design of the ~ Programming Language Comp</title><publicationDate>1989</publicationDate></json:item><json:item><author><json:item><name>J,C Shephcrdson</name></json:item></author><host><pages><last>88</last><first>9</first></pages><author></author><title>Negation in Logic Programming In: Foundations of Deductive Databases and Logic Programming</title><publicationDate>1988</publicationDate></host><publicationDate>1988</publicationDate></json:item><json:item><author><json:item><name>S Shieber</name></json:item></author><host><volume>4</volume><author></author><title>Lecture Notes</title><publicationDate>1986</publicationDate></host><title>An Introduction to Unit~cation-Based Approaclles to Grammar CLSI</title><publicationDate>1986</publicationDate></json:item><json:item><author><json:item><name>O </name></json:item><json:item><name>Shmueli~ Sh</name></json:item></author><host><pages><last>177</last><first>152</first></pages><author></author><title>Naqvi: Se~ Grouping and Layering in Horn-Clause Programs 4th International Conference on Logic Programming</title><publicationDate>1987</publicationDate></host><publicationDate>1987</publicationDate></json:item><json:item><author><json:item><name>J,P Sown</name></json:item></author><host><author></author><title>Conceptual S~ruc~ures, lnformatlon Processing in Mind and Machine</title><publicationDate>1084</publicationDate></host><publicationDate>1084</publicationDate></json:item><json:item><author><json:item><name>J Ullman</name></json:item></author><host><author></author><title>Principles of Database Systems</title><publicationDate>1987</publicationDate></host><publicationDate>1987</publicationDate></json:item><json:item><author><json:item><name>J,D Ullman</name></json:item></author><host><pages><first>988</first></pages><author></author><title>Principles of Database and Knowledge-Base Systems</title></host></json:item><json:item><author><json:item><name>J,D Ullman</name></json:item></author><host><author></author><title>Principles of Database and Knowledge-Base Systems</title><publicationDate>1980</publicationDate></host><publicationDate>1980</publicationDate></json:item><json:item><host><author><json:item><name>C Ganiolo</name></json:item><json:item><name>D Sacca</name></json:item></author><title>Rule Rewriting Methods for Eft~clent lmplementa6ons of Horn Logic MCC</title><publicationDate>1987</publicationDate></host></json:item></refBibs><genre><json:string>conference</json:string></genre><serie><editor><json:item><name>G. Goos</name></json:item><json:item><name>J. Hartmanis</name></json:item><json:item><name>D. Barstow</name></json:item><json:item><name>W. Brauer</name></json:item><json:item><name>P. Brinch Hansen</name></json:item><json:item><name>D. Gries</name></json:item><json:item><name>D. Luckham</name></json:item><json:item><name>C. Moler</name></json:item><json:item><name>A. Pnueli</name></json:item><json:item><name>G. Seegmüller</name></json:item><json:item><name>J. Stoer</name></json:item><json:item><name>N. Wirth</name></json:item></editor><issn><json:string>0302-9743</json:string></issn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Lecture Notes in Computer Science</title><copyrightDate>1991</copyrightDate></serie><host><editor><json:item><name>Dimitris Karagiannis</name></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Database Management</value></json:item><json:item><value>Artificial Intelligence (incl. Robotics)</value></json:item><json:item><value>Systems and Information Theory in Engineering</value></json:item><json:item><value>Business Information Systems</value></json:item><json:item><value>Software Engineering/Programming and Operating Systems</value></json:item></subject><isbn><json:string>978-3-540-53557-7</json:string></isbn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Information Systems and Artificial Intelligence: Integration Aspects</title><bookId><json:string>3540535578</json:string></bookId><volume>474</volume><pages><last>103</last><first>87</first></pages><issn><json:string>0302-9743</json:string></issn><genre><json:string>book-series</json:string></genre><eisbn><json:string>978-3-540-46809-7</json:string></eisbn><copyrightDate>1991</copyrightDate><doi><json:string>10.1007/3-540-53557-8</json:string></doi></host><publicationDate>2005</publicationDate><copyrightDate>1991</copyrightDate><doi><json:string>10.1007/3-540-53557-8_23</json:string></doi><id>E8DEEC579A123610F2604257D5AC210F442DC42D</id><score>1.1502032</score><fulltext><json:item><extension>pdf</extension><original>true</original><mimetype>application/pdf</mimetype><uri>https://api.istex.fr/document/E8DEEC579A123610F2604257D5AC210F442DC42D/fulltext/pdf</uri></json:item><json:item><extension>zip</extension><original>false</original><mimetype>application/zip</mimetype><uri>https://api.istex.fr/document/E8DEEC579A123610F2604257D5AC210F442DC42D/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/E8DEEC579A123610F2604257D5AC210F442DC42D/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">Database concepts for the support of knowledge-based systems</title><respStmt><resp>Références bibliographiques récupérées via GROBID</resp><name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name></respStmt><respStmt><resp>Références bibliographiques récupérées via GROBID</resp><name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name></respStmt></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><availability><p>Springer-Verlag, 1991</p></availability><date>1991</date></publicationStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">Database concepts for the support of knowledge-based systems</title><author xml:id="author-1"><persName><forename type="first">Thomas</forename><surname>Ludwig</surname></persName><affiliation>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</affiliation></author><author xml:id="author-2"><persName><forename type="first">Bernd</forename><surname>Walter</surname></persName><affiliation>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</affiliation></author></analytic><monogr><title level="m">Information Systems and Artificial Intelligence: Integration Aspects</title><title level="m" type="sub">First Workshop Ulm, FRG, March 19–21, 1990 Proceedings</title><idno type="pISBN">978-3-540-53557-7</idno><idno type="eISBN">978-3-540-46809-7</idno><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="DOI">10.1007/3-540-53557-8</idno><idno type="book-ID">3540535578</idno><idno type="book-title-ID">27260</idno><idno type="book-volume-number">474</idno><idno type="book-chapter-count">17</idno><editor><persName><forename type="first">Dimitris</forename><surname>Karagiannis</surname></persName></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date type="published" when="2005-06-04"></date><biblScope unit="volume">474</biblScope><biblScope unit="page" from="87">87</biblScope><biblScope unit="page" to="103">103</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><editor><persName><forename type="first">G.</forename><surname>Goos</surname></persName></editor><editor><persName><forename type="first">J.</forename><surname>Hartmanis</surname></persName></editor><editor><persName><forename type="first">D.</forename><surname>Barstow</surname></persName></editor><editor><persName><forename type="first">W.</forename><surname>Brauer</surname></persName></editor><editor><persName><forename type="first">P.</forename><surname>Brinch Hansen</surname></persName></editor><editor><persName><forename type="first">D.</forename><surname>Gries</surname></persName></editor><editor><persName><forename type="first">D.</forename><surname>Luckham</surname></persName></editor><editor><persName><forename type="first">C.</forename><surname>Moler</surname></persName></editor><editor><persName><forename type="first">A.</forename><surname>Pnueli</surname></persName></editor><editor><persName><forename type="first">G.</forename><surname>Seegmüller</surname></persName></editor><editor><persName><forename type="first">J.</forename><surname>Stoer</surname></persName></editor><editor><persName><forename type="first">N.</forename><surname>Wirth</surname></persName></editor><biblScope><date>1991</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="series-Id">558</idno></series><idno type="istex">E8DEEC579A123610F2604257D5AC210F442DC42D</idno><idno type="DOI">10.1007/3-540-53557-8_23</idno><idno type="ChapterID">6</idno><idno type="ChapterID">Chap6</idno></biblStruct></sourceDesc></fileDesc><profileDesc><creation><date>1991</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>Abstract: The purpose of a database management system is the reliable and efficient management of shared persistent data. Current knowledge-based systems are designed for representing and processing knowledge in a way that is cognitively adequate. Since knowledge should be kept persistent as well, it seems to be interesting to combine the techniques of database management systems and knowledge-based systems into something like a knowledge base management system. We shortly show some conceptual differences between these two types of systems and then discuss how database concepts should be evolved in order to meet the requirements of knowledge-based systems. Using LILOG-DB as an example, we demonstrate in detail the modeling capabilities a database system should provide in order to support typical knowledge structures. Especially, we discuss the design of FLL, a first-order logic based query language supporting an order-sorted complex-object data-model under an Open-World Assumption.</p></abstract><textClass><keywords scheme="Book-Subject-Collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass><keywords scheme="Book-Subject-Group"><list><label>I</label><label>I18024</label><label>I21017</label><label>T11022</label><label>W26007</label><label>I14002</label><item><term>Computer Science</term></item><item><term>Database Management</term></item><item><term>Artificial Intelligence (incl. Robotics)</term></item><item><term>Systems and Information Theory in Engineering</term></item><item><term>Business Information Systems</term></item><item><term>Software Engineering/Programming and Operating Systems</term></item></list></keywords></textClass></profileDesc><revisionDesc><change when="2005-06-04">Published</change><change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-11-22">References added</change><change xml:id="refBibs-istex" who="#ISTEX-API" when="2017-01-20">References added</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><extension>txt</extension><original>false</original><mimetype>text/plain</mimetype><uri>https://api.istex.fr/document/E8DEEC579A123610F2604257D5AC210F442DC42D/fulltext/txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle><SeriesAbbreviatedTitle>Lect Notes Comput Sci</SeriesAbbreviatedTitle></SeriesInfo><SeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>G.</GivenName><FamilyName>Goos</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>J.</GivenName><FamilyName>Hartmanis</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>D.</GivenName><FamilyName>Barstow</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>W.</GivenName><FamilyName>Brauer</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>P.</GivenName><FamilyName>Brinch Hansen</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>D.</GivenName><FamilyName>Gries</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>D.</GivenName><FamilyName>Luckham</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>C.</GivenName><FamilyName>Moler</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>A.</GivenName><FamilyName>Pnueli</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>G.</GivenName><FamilyName>Seegmüller</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>J.</GivenName><FamilyName>Stoer</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>N.</GivenName><FamilyName>Wirth</FamilyName></EditorName></Editor></EditorGroup></SeriesHeader><Book Language="En"><BookInfo MediaType="eBook" Language="En" BookProductType="Proceedings" TocLevels="0" NumberingStyle="Unnumbered"><BookID>3540535578</BookID><BookTitle>Information Systems and Artificial Intelligence: Integration Aspects</BookTitle><BookSubTitle>First Workshop Ulm, FRG, March 19–21, 1990 Proceedings</BookSubTitle><BookVolumeNumber>474</BookVolumeNumber><BookDOI>10.1007/3-540-53557-8</BookDOI><BookTitleID>27260</BookTitleID><BookPrintISBN>978-3-540-53557-7</BookPrintISBN><BookElectronicISBN>978-3-540-46809-7</BookElectronicISBN><BookChapterCount>17</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName><CopyrightYear>1991</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I18024" Priority="1" Type="Secondary">Database Management</BookSubject><BookSubject Code="I21017" Priority="2" Type="Secondary">Artificial Intelligence (incl. Robotics)</BookSubject><BookSubject Code="T11022" Priority="3" Type="Secondary">Systems and Information Theory in Engineering</BookSubject><BookSubject Code="W26007" Priority="4" Type="Secondary">Business Information Systems</BookSubject><BookSubject Code="I14002" Priority="5" Type="Secondary">Software Engineering/Programming and Operating Systems</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup></BookInfo><BookHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Dimitris</GivenName><FamilyName>Karagiannis</FamilyName></EditorName></Editor></EditorGroup></BookHeader><Chapter ID="Chap6" Language="En"><ChapterInfo ChapterType="ReviewPaper" NumberingStyle="Unnumbered" TocLevels="0" ContainsESM="No"><ChapterID>6</ChapterID><ChapterDOI>10.1007/3-540-53557-8_23</ChapterDOI><ChapterSequenceNumber>6</ChapterSequenceNumber><ChapterTitle Language="En">Database concepts for the support of knowledge-based systems</ChapterTitle><ChapterFirstPage>87</ChapterFirstPage><ChapterLastPage>103</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag</CopyrightHolderName><CopyrightYear>1991</CopyrightYear></ChapterCopyright><ChapterHistory><OnlineDate><Year>2005</Year><Month>6</Month><Day>4</Day></OnlineDate></ChapterHistory><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><BookID>3540535578</BookID><BookTitle>Information Systems and Artificial Intelligence: Integration Aspects</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Thomas</GivenName><FamilyName>Ludwig</FamilyName></AuthorName></Author><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Bernd</GivenName><FamilyName>Walter</FamilyName></AuthorName></Author><Affiliation ID="Aff1"><OrgDivision>Department of Mathematics and Computer Science</OrgDivision><OrgName>University of Trier</OrgName><OrgAddress><Postbox>P.O. Box 3825 55</Postbox><Postcode>5500</Postcode><City>Trier</City><Country>Federal Republic of Germany</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>The purpose of a database management system is the reliable and efficient management of shared persistent data. Current knowledge-based systems are designed for representing and processing knowledge in a way that is cognitively adequate. Since knowledge should be kept persistent as well, it seems to be interesting to combine the techniques of database management systems and knowledge-based systems into something like a knowledge base management system. We shortly show some conceptual differences between these two types of systems and then discuss how database concepts should be evolved in order to meet the requirements of knowledge-based systems. Using LILOG-DB as an example, we demonstrate in detail the modeling capabilities a database system should provide in order to support typical knowledge structures.</Para><Para>Especially, we discuss the design of <Emphasis Type="Italic">FLL</Emphasis>, a first-order logic based query language supporting an order-sorted complex-object data-model under an Open-World Assumption.</Para></Abstract><ArticleNote Type="Misc"><SimplePara>The work reported here was carried out within the LILOG-project of IBM Germany</SimplePara></ArticleNote></ChapterHeader><NoBody></NoBody></Chapter></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>Database concepts for the support of knowledge-based systems</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>Database concepts for the support of knowledge-based systems</title></titleInfo><name type="personal"><namePart type="given">Thomas</namePart><namePart type="family">Ludwig</namePart><affiliation>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Bernd</namePart><namePart type="family">Walter</namePart><affiliation>Department of Mathematics and Computer Science, University of Trier, P.O. Box 3825 55, 5500, Trier, Federal Republic of Germany</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="conference" displayLabel="ReviewPaper"></genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2005-06-04</dateIssued><copyrightDate encoding="w3cdtf">1991</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><internetMediaType>text/html</internetMediaType></physicalDescription><abstract lang="en">Abstract: The purpose of a database management system is the reliable and efficient management of shared persistent data. Current knowledge-based systems are designed for representing and processing knowledge in a way that is cognitively adequate. Since knowledge should be kept persistent as well, it seems to be interesting to combine the techniques of database management systems and knowledge-based systems into something like a knowledge base management system. We shortly show some conceptual differences between these two types of systems and then discuss how database concepts should be evolved in order to meet the requirements of knowledge-based systems. Using LILOG-DB as an example, we demonstrate in detail the modeling capabilities a database system should provide in order to support typical knowledge structures. Especially, we discuss the design of FLL, a first-order logic based query language supporting an order-sorted complex-object data-model under an Open-World Assumption.</abstract><relatedItem type="host"><titleInfo><title>Information Systems and Artificial Intelligence: Integration Aspects</title><subTitle>First Workshop Ulm, FRG, March 19–21, 1990 Proceedings</subTitle></titleInfo><name type="personal"><namePart type="given">Dimitris</namePart><namePart type="family">Karagiannis</namePart><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" displayLabel="Proceedings"></genre><originInfo><copyrightDate encoding="w3cdtf">1991</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I18024">Database Management</topic><topic authority="SpringerSubjectCodes" authorityURI="I21017">Artificial Intelligence (incl. Robotics)</topic><topic authority="SpringerSubjectCodes" authorityURI="T11022">Systems and Information Theory in Engineering</topic><topic authority="SpringerSubjectCodes" authorityURI="W26007">Business Information Systems</topic><topic authority="SpringerSubjectCodes" authorityURI="I14002">Software Engineering/Programming and Operating Systems</topic></subject><identifier type="DOI">10.1007/3-540-53557-8</identifier><identifier type="ISBN">978-3-540-53557-7</identifier><identifier type="eISBN">978-3-540-46809-7</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">27260</identifier><identifier type="BookID">3540535578</identifier><identifier type="BookChapterCount">17</identifier><identifier type="BookVolumeNumber">474</identifier><part><date>1991</date><detail type="volume"><number>474</number><caption>vol.</caption></detail><extent unit="pages"><start>87</start><end>103</end></extent></part><recordInfo><recordOrigin>Springer-Verlag, 1991</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><name type="personal"><namePart type="given">G.</namePart><namePart type="family">Goos</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">J.</namePart><namePart type="family">Hartmanis</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">D.</namePart><namePart type="family">Barstow</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">W.</namePart><namePart type="family">Brauer</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">P.</namePart><namePart type="family">Brinch Hansen</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">D.</namePart><namePart type="family">Gries</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">D.</namePart><namePart type="family">Luckham</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">C.</namePart><namePart type="family">Moler</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">A.</namePart><namePart type="family">Pnueli</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">G.</namePart><namePart type="family">Seegmüller</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">J.</namePart><namePart type="family">Stoer</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">N.</namePart><namePart type="family">Wirth</namePart><role><roleTerm type="text">editor</roleTerm></role></name><originInfo><copyrightDate encoding="w3cdtf">1991</copyrightDate><issuance>serial</issuance></originInfo><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag, 1991</recordOrigin></recordInfo></relatedItem><identifier type="istex">E8DEEC579A123610F2604257D5AC210F442DC42D</identifier><identifier type="DOI">10.1007/3-540-53557-8_23</identifier><identifier type="ChapterID">6</identifier><identifier type="ChapterID">Chap6</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag, 1991</accessCondition><recordInfo><recordContentSource>SPRINGER</recordContentSource><recordOrigin>Springer-Verlag, 1991</recordOrigin></recordInfo></mods></metadata></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001464 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd -nk 001464 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Rhénanie
|area= UnivTrevesV1
|flux= Istex
|étape= Corpus
|type= RBID
|clé= ISTEX:E8DEEC579A123610F2604257D5AC210F442DC42D
|texte= Database concepts for the support of knowledge-based systems
}}
| This area was generated with Dilib version V0.6.31. |  |