Automatically assigned DDC number: 006333
Manually assigned DDC number: 006333
Number of references: 16
Title: How to decide Query Containment under Constraints using a Description Logic
Author:
Author:
Author:
Author:
Subject: Ian Horrocks,Sergio Tessaris,Ulrike Sattler,Stephan Tobies How to decide Query Containment under Constraints using a Description Logic
Description: this paper we present a practical decision procedure for the case where neither the queries nor the constraints contain regular expressions. This represents a restriction with respect to the framework described in [2], where it was shown that the problem is still decidable if regular expressions are allowed in the schema and the (possibly) containing query, but this seems to be acceptable when modelling classical relational information systems, where regular expressions are seldom used [5, 4]. When excluding regular expressions, constraints imposed by EER schemas can still be captured, so the restriction (to contain no regular expressions) is only relevant to inter-schema constraints. Hence, the use of DLR in both schema and queries still allows for relatively expressive queries, and by staying within a strictly rst order setting we are able to use a decision procedure that has demonstrated good empirical tractability.
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 2000-06-07
Pubyear: 1999
Format: ps
Identifier: http://citeseer.ist.psu.edu/324803.html
Source: http://www.cs.man.ac.uk/~horrocks/Publications/./download/2000/KRDB-2000.ps.gz
Language: en
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/324221.html" Type="inproceedings" CiteSeer_Book="" CiteSeer_Volume="" Title="On the Decidability of Query Containment under Constraints,">
<identifier Org="ISBN:0897919963" Paper_ID="/324221.html" Extracted="0897919963" />
<identifier Org="ISBN:1581130627" Paper_ID="/324221.html" Extracted="1581130627" />
<identifier Org="ISBN:1581135076" Paper_ID="/324221.html" Extracted="1581135076" />
<identifier Org="ISBN:158113858X" Paper_ID="/324221.html" Extracted="158113858X" />
<identifier Org="ISBN:1586032550" Paper_ID="/324221.html" Extracted="1586032550" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:1586034529" Paper_ID="/324221.html" Extracted="1586034529" />
<identifier Org="ISBN:3540250514" Paper_ID="/324221.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540277838" Paper_ID="/324221.html" Extracted="3540277838" DDC="003.54" Normalized_DDC="00354" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540405593" Paper_ID="/324221.html" Extracted="3540405593" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540437851" Paper_ID="/324221.html" Extracted="3540437851" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540440801" Paper_ID="/324221.html" Extracted="3540440801" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540654526" Paper_ID="/324221.html" Extracted="3540654526" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540664920" Paper_ID="/324221.html" Extracted="3540664920" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540677976" Paper_ID="/324221.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540699112" Paper_ID="/324221.html" Extracted="3540699112" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540735941" Paper_ID="/324221.html" Extracted="3540735941" />
<identifier Org="ISBN:3540755624" Paper_ID="/324221.html" Extracted="3540755624" />
<identifier Org="ISBN:3540878025" Paper_ID="/324221.html" Extracted="3540878025" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.09090909090909091" />
</rec>
<rec ID="/265611.html" Type="inproceedings" CiteSeer_Book="Knowledge Representation Meets Databases" CiteSeer_Volume="" Title="Answering Queries Using Views in Description Logics,">
<identifier Org="ISBN:0262511126" Paper_ID="/265611.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0262511290" Paper_ID="/265611.html" Extracted="0262511290" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0521781760" Paper_ID="/265611.html" Extracted="0521781760" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0792372247" Paper_ID="/265611.html" Extracted="0792372247" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:158113214X" Paper_ID="/265611.html" Extracted="158113214X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540007598" Paper_ID="/265611.html" Extracted="3540007598" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540231668" Paper_ID="/265611.html" Extracted="3540231668" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540236090" Paper_ID="/265611.html" Extracted="3540236090" DDC="004/.36" Normalized_DDC="00436" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540283463" Paper_ID="/265611.html" Extracted="3540283463" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540412859" Paper_ID="/265611.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540414568" Paper_ID="/265611.html" Extracted="3540414568" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540433244" Paper_ID="/265611.html" Extracted="3540433244" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439315" Paper_ID="/265611.html" Extracted="3540439315" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540677976" Paper_ID="/265611.html" Extracted="3540677976" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
</rec>
<rec ID="/454749.html" Type="inproceedings" CiteSeer_Book="DEXA Workshop" CiteSeer_Volume="" Title="Source Integration in Data Warehousing,">
<identifier Org="ISBN:0521781760" Paper_ID="/454749.html" Extracted="0521781760" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0769504965" Paper_ID="/454749.html" Extracted="0769504965" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0780399277" Paper_ID="/454749.html" Extracted="0780399277" />
<identifier Org="ISBN:1591400538" Paper_ID="/454749.html" Extracted="1591400538" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:1930708394" Paper_ID="/454749.html" Extracted="1930708394" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540245766" Paper_ID="/454749.html" Extracted="3540245766" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540412859" Paper_ID="/454749.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540420894" Paper_ID="/454749.html" Extracted="3540420894" DDC="658.4/038/0285574" Normalized_DDC="65840380285574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540425551" Paper_ID="/454749.html" Extracted="3540425551" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540433473" Paper_ID="/454749.html" Extracted="3540433473" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540437851" Paper_ID="/454749.html" Extracted="3540437851" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540441263" Paper_ID="/454749.html" Extracted="3540441263" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540664017" Paper_ID="/454749.html" Extracted="3540664017" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540676643" Paper_ID="/454749.html" Extracted="3540676643" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354067697X" Paper_ID="/454749.html" Extracted="354067697X" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540679812" Paper_ID="/454749.html" Extracted="3540679812" DDC="004.67/8" Normalized_DDC="004678" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/324006.html" Type="inproceedings" CiteSeer_Book="Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="Description Logic Framework for Information Integration,">
<identifier Org="ISBN:1586030132" Paper_ID="/324006.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586032550" Paper_ID="/324006.html" Extracted="1586032550" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586036297" Paper_ID="/324006.html" Extracted="1586036297" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1591400414" Paper_ID="/324006.html" Extracted="1591400414" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1846288576" Paper_ID="/324006.html" Extracted="1846288576" DDC="004.6" Normalized_DDC="0046" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1878289845" Paper_ID="/324006.html" Extracted="1878289845" DDC="658.4038" Normalized_DDC="6584038" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540000100" Paper_ID="/324006.html" Extracted="3540000100" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540236643" Paper_ID="/324006.html" Extracted="3540236643" DDC="005.758" Normalized_DDC="005758" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540285857" Paper_ID="/324006.html" Extracted="3540285857" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354029208X" Paper_ID="/324006.html" Extracted="354029208X" DDC="005.115" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540404945" Paper_ID="/324006.html" Extracted="3540404945" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540412859" Paper_ID="/324006.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540422544" Paper_ID="/324006.html" Extracted="3540422544" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425934" Paper_ID="/324006.html" Extracted="3540425934" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540439609" Paper_ID="/324006.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540654526" Paper_ID="/324006.html" Extracted="3540654526" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540669035" Paper_ID="/324006.html" Extracted="3540669035" DDC="004.67/8" Normalized_DDC="004678" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540676279" Paper_ID="/324006.html" Extracted="3540676279" DDC="005.75/8" Normalized_DDC="005758" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/136294.html" Type="article" CiteSeer_Book="Journal for Intelligent and Cooperative Information Systems" CiteSeer_Volume="2" Title="Representing and Using Interschema Knowledge in Cooperative Information Systems,">
<identifier Org="ISBN:0792381297" Paper_ID="/136294.html" Extracted="0792381297" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:1586036297" Paper_ID="/136294.html" Extracted="1586036297" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:1878289519" Paper_ID="/136294.html" Extracted="1878289519" DDC="658.4/038" Normalized_DDC="6584038" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540001069" Paper_ID="/136294.html" Extracted="3540001069" DDC="005.75/8" Normalized_DDC="005758" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540204075" Paper_ID="/136294.html" Extracted="3540204075" />
<identifier Org="ISBN:3540209689" Paper_ID="/136294.html" Extracted="3540209689" DDC="004.6/5" Normalized_DDC="00465" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:354024302X" Paper_ID="/136294.html" Extracted="354024302X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540262253" Paper_ID="/136294.html" Extracted="3540262253" DDC="910.285571" Normalized_DDC="910285571" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540405798" Paper_ID="/136294.html" Extracted="3540405798" DDC="006.35" Normalized_DDC="00635" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540411844" Paper_ID="/136294.html" Extracted="3540411844" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540412859" Paper_ID="/136294.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540425454" Paper_ID="/136294.html" Extracted="3540425454" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:354043738X" Paper_ID="/136294.html" Extracted="354043738X" DDC="005.1/0285" Normalized_DDC="00510285" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540437851" Paper_ID="/136294.html" Extracted="3540437851" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540440887" Paper_ID="/136294.html" Extracted="3540440887" DDC="005.75/7" Normalized_DDC="005757" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540606084" Paper_ID="/136294.html" Extracted="3540606084" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540608524" Paper_ID="/136294.html" Extracted="3540608524" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540654526" Paper_ID="/136294.html" Extracted="3540654526" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:354065965X" Paper_ID="/136294.html" Extracted="354065965X" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.05263157894736842" />
<identifier Org="ISBN:3540679782" Paper_ID="/136294.html" Extracted="3540679782" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05263157894736842" />
</rec>
<rec ID="/205326.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="239" Title="Conjunctive query containment revisited,">
<identifier Org="ISBN:0897919963" Paper_ID="/205326.html" Extracted="0897919963" />
<identifier Org="ISBN:1581133618" Paper_ID="/205326.html" Extracted="1581133618" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:158113858X" Paper_ID="/205326.html" Extracted="158113858X" />
<identifier Org="ISBN:3540208968" Paper_ID="/205326.html" Extracted="3540208968" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540212000" Paper_ID="/205326.html" Extracted="3540212000" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540242880" Paper_ID="/205326.html" Extracted="3540242880" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540412859" Paper_ID="/205326.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540414568" Paper_ID="/205326.html" Extracted="3540414568" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540414819" Paper_ID="/205326.html" Extracted="3540414819" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540424962" Paper_ID="/205326.html" Extracted="3540424962" DDC="004/.01/51" Normalized_DDC="0040151" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540429565" Paper_ID="/205326.html" Extracted="3540429565" DDC="500" Normalized_DDC="50" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540439412" Paper_ID="/205326.html" Extracted="3540439412" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540440801" Paper_ID="/205326.html" Extracted="3540440801" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540622225" Paper_ID="/205326.html" Extracted="3540622225" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540649506" Paper_ID="/205326.html" Extracted="3540649506" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540654526" Paper_ID="/205326.html" Extracted="3540654526" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354074455X" Paper_ID="/205326.html" Extracted="354074455X" />
<identifier Org="ISBN:3540749144" Paper_ID="/205326.html" Extracted="3540749144" DDC="004.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:9812389652" Paper_ID="/205326.html" Extracted="9812389652" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
</rec>
<rec ID="/84216.html" Type="phdthesis" CiteSeer_Book="" CiteSeer_Volume="" Title="Decidability of Class-Based Knowledge Representation Formalisms,">
<identifier Org="ISBN:0444516905" Paper_ID="/84216.html" Extracted="0444516905" DDC="160" Normalized_DDC="16" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0521527147" Paper_ID="/84216.html" Extracted="0521527147" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0521781760" Paper_ID="/84216.html" Extracted="0521781760" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:0863802524" Paper_ID="/84216.html" Extracted="0863802524" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1402007493" Paper_ID="/84216.html" Extracted="1402007493" DDC="530.13/8" Normalized_DDC="530138" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:1586036459" Paper_ID="/84216.html" Extracted="1586036459" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540250514" Paper_ID="/84216.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540408347" Paper_ID="/84216.html" Extracted="3540408347" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540412859" Paper_ID="/84216.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540423974" Paper_ID="/84216.html" Extracted="3540423974" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540441905" Paper_ID="/84216.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540604375" Paper_ID="/84216.html" Extracted="3540604375" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540606084" Paper_ID="/84216.html" Extracted="3540606084" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540615113" Paper_ID="/84216.html" Extracted="3540615113" DDC="006.3/3" Normalized_DDC="00633" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540664289" Paper_ID="/84216.html" Extracted="3540664289" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:354067697X" Paper_ID="/84216.html" Extracted="354067697X" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540746137" Paper_ID="/84216.html" Extracted="3540746137" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.058823529411764705" />
<identifier Org="ISBN:3540894381" Paper_ID="/84216.html" Extracted="3540894381" />
</rec>
<rec ID="/142054.html" Type="incollection" CiteSeer_Book="KR96 Principles of Knowledge Representation and Reasoning" CiteSeer_Volume="" Title="{TB}ox and {AB}ox Reasoning in Expressive Description Logics," />
<rec ID="/224004.html" Type="inproceedings" CiteSeer_Book="Description Logics" CiteSeer_Volume="" Title="{FaCT} and {iFaCT},">
<identifier Org="ISBN:0387342230" Paper_ID="/224004.html" Extracted="0387342230" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0387346554" Paper_ID="/224004.html" Extracted="0387346554" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0470094176" Paper_ID="/224004.html" Extracted="0470094176" DDC="005.3/6" Normalized_DDC="00536" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0754632873" Paper_ID="/224004.html" Extracted="0754632873" DDC="346.404/37" Normalized_DDC="34640437" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1402029594" Paper_ID="/224004.html" Extracted="1402029594" />
<identifier Org="ISBN:1586032801" Paper_ID="/224004.html" Extracted="1586032801" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586034855" Paper_ID="/224004.html" Extracted="1586034855" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586035762" Paper_ID="/224004.html" Extracted="1586035762" />
<identifier Org="ISBN:3540229930" Paper_ID="/224004.html" Extracted="3540229930" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540244220" Paper_ID="/224004.html" Extracted="3540244220" DDC="629.8/0285/63" Normalized_DDC="6298028563" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540253270" Paper_ID="/224004.html" Extracted="3540253270" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540405593" Paper_ID="/224004.html" Extracted="3540405593" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540412859" Paper_ID="/224004.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540422722" Paper_ID="/224004.html" Extracted="3540422722" DDC="005.75" Normalized_DDC="00575" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540425454" Paper_ID="/224004.html" Extracted="3540425454" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354043738X" Paper_ID="/224004.html" Extracted="354043738X" DDC="005.1/0285" Normalized_DDC="00510285" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354064380X" Paper_ID="/224004.html" Extracted="354064380X" DDC="004/.01/9" Normalized_DDC="004019" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354067697X" Paper_ID="/224004.html" Extracted="354067697X" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354074973X" Paper_ID="/224004.html" Extracted="354074973X" DDC="658.8/4" Normalized_DDC="65884" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:4274905357" Paper_ID="/224004.html" Extracted="4274905357" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/324660.html" Type="article" CiteSeer_Book="Journal of Logic and Computation" CiteSeer_Volume="9" Title="A Description Logic with Transitive and Inverse Roles and Role Hierarchies,">
<identifier Org="ISBN:0444516905" Paper_ID="/324660.html" Extracted="0444516905" DDC="160" Normalized_DDC="16" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:1586030132" Paper_ID="/324660.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540001069" Paper_ID="/324660.html" Extracted="3540001069" DDC="005.75/8" Normalized_DDC="005758" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540201017" Paper_ID="/324660.html" Extracted="3540201017" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540204075" Paper_ID="/324660.html" Extracted="3540204075" />
<identifier Org="ISBN:3540250514" Paper_ID="/324660.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540285857" Paper_ID="/324660.html" Extracted="3540285857" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540405763" Paper_ID="/324660.html" Extracted="3540405763" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540408347" Paper_ID="/324660.html" Extracted="3540408347" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540412859" Paper_ID="/324660.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540422196" Paper_ID="/324660.html" Extracted="3540422196" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540422544" Paper_ID="/324660.html" Extracted="3540422544" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540439293" Paper_ID="/324660.html" Extracted="3540439293" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540675574" Paper_ID="/324660.html" Extracted="3540675574" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540734503" Paper_ID="/324660.html" Extracted="3540734503" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540735941" Paper_ID="/324660.html" Extracted="3540735941" />
<identifier Org="ISBN:3540744673" Paper_ID="/324660.html" Extracted="3540744673" />
</rec>
<rec ID="/325636.html" Type="techreport" CiteSeer_Book="" CiteSeer_Volume="" Title="Query Containment Using a {DLR} {AB}ox," />
<rec ID="/225114.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning LPAR99" CiteSeer_Volume="" Title="Practical Reasoning for Expressive Description Logics,">
<identifier Org="ISBN:1586030132" Paper_ID="/225114.html" Extracted="1586030132" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1586034529" Paper_ID="/225114.html" Extracted="1586034529" />
<identifier Org="ISBN:3540000747" Paper_ID="/225114.html" Extracted="3540000747" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540205829" Paper_ID="/225114.html" Extracted="3540205829" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540238425" Paper_ID="/225114.html" Extracted="3540238425" DDC="006.74" Normalized_DDC="00674" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540250514" Paper_ID="/225114.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540273263" Paper_ID="/225114.html" Extracted="3540273263" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540277838" Paper_ID="/225114.html" Extracted="3540277838" DDC="003.54" Normalized_DDC="00354" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540289313" Paper_ID="/225114.html" Extracted="3540289313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540405593" Paper_ID="/225114.html" Extracted="3540405593" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540405763" Paper_ID="/225114.html" Extracted="3540405763" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540408347" Paper_ID="/225114.html" Extracted="3540408347" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540412859" Paper_ID="/225114.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540422544" Paper_ID="/225114.html" Extracted="3540422544" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540439293" Paper_ID="/225114.html" Extracted="3540439293" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540439315" Paper_ID="/225114.html" Extracted="3540439315" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540441905" Paper_ID="/225114.html" Extracted="3540441905" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540710698" Paper_ID="/225114.html" Extracted="3540710698" />
<identifier Org="ISBN:3540726667" Paper_ID="/225114.html" Extracted="3540726667" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540746137" Paper_ID="/225114.html" Extracted="3540746137" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/273266.html" Type="inproceedings" CiteSeer_Book="Proceedings of the 17th International Conference on Automated Deduction CADE17" CiteSeer_Volume="" Title="Reasoning with Individuals for the Description Logic {SHIQ},">
<identifier Org="ISBN:1586036424" Paper_ID="/273266.html" Extracted="1586036424" />
<identifier Org="ISBN:3540009213" Paper_ID="/273266.html" Extracted="3540009213" DDC="006.3/7" Normalized_DDC="00637" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540220100" Paper_ID="/273266.html" Extracted="3540220100" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540229930" Paper_ID="/273266.html" Extracted="3540229930" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540250514" Paper_ID="/273266.html" Extracted="3540250514" DDC="511.3/6/028563" Normalized_DDC="51136028563" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540408789" Paper_ID="/273266.html" Extracted="3540408789" DDC="005.8" Normalized_DDC="0058" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540412859" Paper_ID="/273266.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540422544" Paper_ID="/273266.html" Extracted="3540422544" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540710698" Paper_ID="/273266.html" Extracted="3540710698" />
<identifier Org="ISBN:3540725857" Paper_ID="/273266.html" Extracted="3540725857" />
<identifier Org="ISBN:354072981X" Paper_ID="/273266.html" Extracted="354072981X" />
<identifier Org="ISBN:3540735941" Paper_ID="/273266.html" Extracted="3540735941" />
<identifier Org="ISBN:3540762973" Paper_ID="/273266.html" Extracted="3540762973" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540885633" Paper_ID="/273266.html" Extracted="3540885633" />
<identifier Org="ISBN:3832217053" Paper_ID="/273266.html" Extracted="3832217053" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3867277982" Paper_ID="/273266.html" Extracted="3867277982" />
</rec>
<rec ID="/39605.html" Type="inproceedings" CiteSeer_Book="European Conference on Artificial Intelligence" CiteSeer_Volume="" Title="{CARIN}: A Representation Language Combining Horn Rules and Description Logics,">
<identifier Org="ISBN:0262511126" Paper_ID="/39605.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0521781760" Paper_ID="/39605.html" Extracted="0521781760" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:0897919963" Paper_ID="/39605.html" Extracted="0897919963" />
<identifier Org="ISBN:1581135076" Paper_ID="/39605.html" Extracted="1581135076" />
<identifier Org="ISBN:1586033794" Paper_ID="/39605.html" Extracted="1586033794" DDC="658.4/038" Normalized_DDC="6584038" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540203613" Paper_ID="/39605.html" Extracted="3540203613" DDC="006.7/4" Normalized_DDC="00674" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540229930" Paper_ID="/39605.html" Extracted="3540229930" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540237984" Paper_ID="/39605.html" Extracted="3540237984" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540261249" Paper_ID="/39605.html" Extracted="3540261249" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540412859" Paper_ID="/39605.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540439609" Paper_ID="/39605.html" Extracted="3540439609" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540622225" Paper_ID="/39605.html" Extracted="3540622225" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540648232" Paper_ID="/39605.html" Extracted="3540648232" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540654526" Paper_ID="/39605.html" Extracted="3540654526" DDC="005.74" Normalized_DDC="00574" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540664289" Paper_ID="/39605.html" Extracted="3540664289" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:354067795X" Paper_ID="/39605.html" Extracted="354067795X" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.06666666666666667" />
<identifier Org="ISBN:3540682570" Paper_ID="/39605.html" Extracted="3540682570" />
<identifier Org="ISBN:3540759743" Paper_ID="/39605.html" Extracted="3540759743" DDC="006.7/4" Normalized_DDC="00674" Normalized_Weight="0.06666666666666667" />
</rec>
<rec ID="/82272.html" Type="article" CiteSeer_Book="Data Knowledge Engineering" CiteSeer_Volume="13" Title="Reasoning with Individuals in Concept Languages,">
<identifier Org="ISBN:0262511126" Paper_ID="/82272.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:0521781760" Paper_ID="/82272.html" Extracted="0521781760" DDC="006.3/32" Normalized_DDC="006332" Normalized_Weight="0.1" />
<identifier Org="ISBN:1586034510" Paper_ID="/82272.html" Extracted="1586034510" />
<identifier Org="ISBN:3540221603" Paper_ID="/82272.html" Extracted="3540221603" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540405763" Paper_ID="/82272.html" Extracted="3540405763" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540408347" Paper_ID="/82272.html" Extracted="3540408347" DDC="003/.54" Normalized_DDC="00354" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540412859" Paper_ID="/82272.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540572929" Paper_ID="/82272.html" Extracted="3540572929" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540629203" Paper_ID="/82272.html" Extracted="3540629203" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540676643" Paper_ID="/82272.html" Extracted="3540676643" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540746137" Paper_ID="/82272.html" Extracted="3540746137" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540776877" Paper_ID="/82272.html" Extracted="3540776877" />
<identifier Org="ISBN:354089764X" Paper_ID="/82272.html" Extracted="354089764X" />
</rec>
<rec ID="/253735.html" Type="inproceedings" CiteSeer_Book="Description Logics" CiteSeer_Volume="" Title="{ABox} Reasoning with Transitive Roles and Axioms,">
<identifier Org="ISBN:0262511126" Paper_ID="/253735.html" Extracted="0262511126" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:3540412859" Paper_ID="/253735.html" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.3333333333333333" />
<identifier Org="ISBN:354067697X" Paper_ID="/253735.html" Extracted="354067697X" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.3333333333333333" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="How to decide Query Containment under Constraints using a Description Logic">
<identifier Org="ISBN:0387484361" Paper_ID="SELF" Extracted="0387484361" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1" />
<identifier Org="ISBN:1586034529" Paper_ID="SELF" Extracted="1586034529" />
<identifier Org="ISBN:1848000758" Paper_ID="SELF" Extracted="1848000758" DDC="006.7" Normalized_DDC="0067" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540249982" Paper_ID="SELF" Extracted="3540249982" DDC="004" Normalized_DDC="004" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540277838" Paper_ID="SELF" Extracted="3540277838" DDC="003.54" Normalized_DDC="00354" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540289313" Paper_ID="SELF" Extracted="3540289313" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540405593" Paper_ID="SELF" Extracted="3540405593" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540412859" Paper_ID="SELF" Extracted="3540412859" DDC="005.1/15" Normalized_DDC="005115" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540439315" Paper_ID="SELF" Extracted="3540439315" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.1" />
<identifier Org="ISBN:3540762973" Paper_ID="SELF" Extracted="3540762973" DDC="025.04" Normalized_DDC="02504" Normalized_Weight="0.1" />
<identifier Org="ISBN:3866440596" Paper_ID="SELF" Extracted="3866440596" DDC="381.14206" Normalized_DDC="38114206" Normalized_Weight="0.1" />
</rec>
</references_metadata>