Difference between revisions of "Vol-1"
Jump to navigation
Jump to search
(Created page with "=Volume= {{Volume |number=1 |storemode=property }} =Freitext=") |
(→Papers) |
||
| (8 intermediate revisions by the same user not shown) | |||
| Line 3: | Line 3: | ||
{{Volume | {{Volume | ||
|number=1 | |number=1 | ||
| + | |title= Reasoning about Structured Objects: | ||
| + | Knowledge Representation Meets Databases (KRDB '94) | ||
| + | Proceedings of 1st Workshop KRDB'94 | ||
| + | Saarbrücken, Germany, September 20-22, 1994. | ||
|storemode=property | |storemode=property | ||
}} | }} | ||
=Freitext= | =Freitext= | ||
| + | = PTP Metadata = | ||
| + | [http://ptp.bitplan.com/parse?titles=http%3A%2F%2Fceur-ws.org%2FVol-1%2F%0D%0A%0D%0A&examples=example3&format=html&metadebug=on PTP Metadata vor CEUR-WS Vol1] | ||
| + | |||
| + | = DBLP metadata = | ||
| + | https://dblp.uni-trier.de/db/series/ceurws/ceurws000-099.html | ||
| + | |||
| + | <source lang='xml'> | ||
| + | <dblp> | ||
| + | <proceedings key="conf/krdb/94" mdate="2020-02-12"> | ||
| + | <editor>Franz Baader</editor> | ||
| + | <editor>Martin Buchheit</editor> | ||
| + | <editor>Manfred A. Jeusfeld</editor> | ||
| + | <editor>Werner Nutt</editor> | ||
| + | <title> | ||
| + | Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994 | ||
| + | </title> | ||
| + | <series href="db/series/ceurws/index.html">CEUR Workshop Proceedings</series> | ||
| + | <publisher>CEUR-WS.org</publisher> | ||
| + | <year>1995</year> | ||
| + | <volume>1</volume> | ||
| + | <ee type="oa">http://ceur-ws.org/Vol-1</ee> | ||
| + | <ee>https://nbn-resolving.org/urn:nbn:de:0074-1-5</ee> | ||
| + | <url>db/conf/krdb/krdb94.html</url> | ||
| + | </proceedings> | ||
| + | </dblp> | ||
| + | </source> | ||
| + | = Papers = | ||
| + | <pdf>http://ceur-ws.org/Vol-1/lenzerini.pdf</pdf> | ||
| + | |||
| + | = OCR = | ||
| + | <pre> | ||
| + | Description Logics for Schema Level Reasoning | ||
| + | in Databases | ||
| + | Maurizio Lenzerini | ||
| + | Dipartimento di Informatica e Sistemistica | ||
| + | Universit^Ra di Roma \La Sapienza" | ||
| + | Via Salaria 113, 00198 Roma, Italy | ||
| + | |||
| + | |||
| + | Abstract | ||
| + | Several recent papers point out that the research on Description Logics and their | ||
| + | associated reasoning techniques can be pro tably exploited in several ways in the | ||
| + | area of Databases. We argue that one of the most important aspects of Databases | ||
| + | where we can take advantage of Description Logics is the one related to schema | ||
| + | level reasoning, i.e., reasoning at the intensional level of a database. This is the | ||
| + | case in schema design, schema maintenance, schema integration, schema trans- | ||
| + | lation, integrity checking, query evaluation in cooperative information systems, | ||
| + | etc. Indeed, on the one hand Description Logics can be seen as very powerful | ||
| + | data models, and on the other hand, they can serve as uni ed formalisms that | ||
| + | capture object-oriented, semantic and conceptual data models proposed in the | ||
| + | literature. Most importantly, they can provide useful reasoning services in all | ||
| + | the above mentioned tasks. | ||
| + | </pre> | ||
Latest revision as of 19:38, 20 July 2020
Volume
| Volume | |
|---|---|
| number | 1 |
| title | Reasoning about Structured Objects:
Knowledge Representation Meets Databases (KRDB '94) Proceedings of 1st Workshop KRDB'94 Saarbrücken, Germany, September 20-22, 1994. |
Freitext
PTP Metadata
DBLP metadata
https://dblp.uni-trier.de/db/series/ceurws/ceurws000-099.html
<dblp>
<proceedings key="conf/krdb/94" mdate="2020-02-12">
<editor>Franz Baader</editor>
<editor>Martin Buchheit</editor>
<editor>Manfred A. Jeusfeld</editor>
<editor>Werner Nutt</editor>
<title>
Reasoning about Structured Objects: Knowledge Representation Meets Databases, Proceedings of 1st Workshop KRDB'94, Saarbrücken, Germany, September 20-22, 1994
</title>
<series href="db/series/ceurws/index.html">CEUR Workshop Proceedings</series>
<publisher>CEUR-WS.org</publisher>
<year>1995</year>
<volume>1</volume>
<ee type="oa">http://ceur-ws.org/Vol-1</ee>
<ee>https://nbn-resolving.org/urn:nbn:de:0074-1-5</ee>
<url>db/conf/krdb/krdb94.html</url>
</proceedings>
</dblp>
Papers
OCR
Description Logics for Schema Level Reasoning
in Databases
Maurizio Lenzerini
Dipartimento di Informatica e Sistemistica
Universit^Ra di Roma \La Sapienza"
Via Salaria 113, 00198 Roma, Italy
Abstract
Several recent papers point out that the research on Description Logics and their
associated reasoning techniques can be pro tably exploited in several ways in the
area of Databases. We argue that one of the most important aspects of Databases
where we can take advantage of Description Logics is the one related to schema
level reasoning, i.e., reasoning at the intensional level of a database. This is the
case in schema design, schema maintenance, schema integration, schema trans-
lation, integrity checking, query evaluation in cooperative information systems,
etc. Indeed, on the one hand Description Logics can be seen as very powerful
data models, and on the other hand, they can serve as uni ed formalisms that
capture object-oriented, semantic and conceptual data models proposed in the
literature. Most importantly, they can provide useful reasoning services in all
the above mentioned tasks.