An ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic. Sanner, S. & McIlraith, S. In Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-06), 2006.
![An ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 21 downloads
Paper bibtex 21 downloads @inproceedings{sanner:kr06,
author = "S. Sanner and S. McIlraith",
year = "2006",
title = "An ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic",
booktitle = "Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning ({KR-06})",
url_paper = {https://ssanner.github.io/papers/anu/dlfol_kr06.pdf}
}Downloads: 21
{"_id":{"_str":"534211f46d78590a06000110"},"__v":154,"authorIDs":["23K4CQL98ZRC3yGSD","25vW6YG68jtamjkiF","27Gm3PzXeci53XDTT","28RtkecAvxJpGQLDx","2JEFYbbohDSXKPXGq","2JP7Eg9bhybNpzYiR","2ewtQazuaZXJY2TYj","2i94BzaNtH9KJvKbf","2inik6WR8Wq7wC3Yu","2nEBZQogM46ZTTgsK","3MbBSQiEWubhqir6b","3b3gnNFqBHiteKXs2","3cEB8ua36N9mEKWXr","3fn9z8KY4v78whSJR","3wSJLXJ9XuZ2mDm2H","49zg6n33JhWCCjH4G","4GnK83b3MuZTSTiPA","4qR3ZXFnicYCHTvtr","4zKMDaLdYLdgGQChe","4zPoSgiMnSZGFCqft","5456dccd8b01c81930000008","54588ff9b43425b7720000ec","57JLLmHZjzCJ3t8fp","5Eidhk5inwxxe7JGk","5NF6geWncTbTnLrHK","5NMwQLzZDrFBYzRZa","5YoPQJSrtB4aGQqq7","5dYE363vZmKg9AgSX","5de801509b61e8de01000089","5de8a9753cfb74df0100003e","5de9001ed5dfa2e00100008a","5de9b19e5b51bcde010000bf","5de9e8f29f521ddf010000f4","5dea039cfac96fde010000ad","5dea0c58fac96fde01000141","5dea71ed4f43c9de010000f4","5ded1a71b5af74df010000cb","5ded7f345fefb3de0100004c","5deda7b25c662cef01000112","5deddfba0e26d5de01000103","5dee18f4584fb4df010001a7","5dee7650773914de01000254","5dee8eaffc4c19df01000248","5dee96620ceb4cdf01000045","5deed09166e59ade0100003a","5def1832c5ae39f201000128","5def93c4706001de01000037","5df0f7e945b054df01000196","5df126378fc423de010000e0","5df159aed177badf01000089","5df1e53878da84de0100001f","5df2a7520f18f1df01000049","5df2ea54b91ab0de010000ea","5df2f775b91ab0de010001b1","5df308adbc9e6cde010000b3","5df4292f9d2522de0100011e","5df430d096bfa7de01000026","5df474ea95416ade01000097","5df4f723daf598df01000032","5df60fa62b34d0de0100001d","5df6fc64df3bb9f2010000dd","5df7c23692a8e4df010000db","5df7f71ab9bb17df010000d6","5df9053c2e8c31df0100004a","5df92b44d04b27df010000c9","5df98499816c3de0010000a1","5dfa45cfed5baede010000db","5dfa7f352a0346de010000a3","5dfabb285481b4de010000be","5dfac8d80488afde01000014","5dfafb14fa2bbbde0100010f","5dfb881fc2820bdf010001a1","5dfbbfc9f6f0aede0100015e","5dfc0860b371afde01000099","5dfc0bdbb371afde010000c3","5dfcd8767a3608de01000136","5dfeff40e25b1bde01000069","5dff0e077769f4de01000002","5dff24ee7769f4de010000b4","5dffcc521ce6f1df01000110","5e004a8d63155bde01000037","5e02fa9e0aba75df0100008e","5e04414a705486df0100004d","5e046c906ef264df010000b9","5e04dc36de66fbdf010000eb","5e058383981708de010000df","5e067b8278d770df010002f1","5e0c9b896a5164de01000035","5e0c9fc76a5164de01000065","5e0ca99a6a5164de010000ba","5e0cbecb43bd96de0100008b","5e0cd47f6762d1de01000084","5e0f522444d21ddf0100000a","5e0f9fb266a55ede0100018e","5e0fbc81f350a2de010000db","5e0fe85e063b5cde01000065","5e10276e2ef76bdf0100009f","5e10e38945c12cde01000064","5e1213ef440202de0100003c","5e124175c196d3de0100011d","5e129793551229df010000b6","5e129919551229df010000cd","5e1374acf16095df01000184","5e137964f16095df010001de","5e139884a212e1de01000229","5e13c88c280ddede01000101","5e13dde8dd177ade0100007a","5e14801108c265de0100006e","5e14ab59830852de010001c9","5e14f58bb46f1bdf010000aa","5e1500a7b46f1bdf0100013a","5e157986f1f31adf01000017","5e160528f67f7dde01000049","5e161ee3f67f7dde010007b3","5e162befdf1bb4de01000116","5e162cc2df1bb4de01000124","5e1655c828f1c0de01000396","5e169d41da4561de01000068","5e178115cf35a4de010000f9","5e1809af9a3d0bde0100007a","5e18136b9a3d0bde010000f8","5e18af8cbd0cf5de01000095","5e18faaf8fcbc2df010001c0","5e190a96a7672ede010000c0","5e191580a7672ede0100013e","5e19f09ac1012bde010000cc","5e1a16cb9fbdddde01000020","5e1b4b0da45296de01000011","5e1ba86b61cb16df0100005a","5e1bde434c869ade01000038","5e1be8504c869ade01000087","5e1c058bbadffbde010000ae","5e1c5983e556c6de01000142","5e1cd568abed9bde01000021","5e1ce56fabed9bde01000176","5e1d0a47633f2ade0100016e","5e1d19eafeb115df01000089","5e1d512ee32442de01000094","5e1d87c83a6d8cde010000d8","5e1df0572cced5de0100003c","5e1e03f02cced5de010001d8","5e1e253bf6dca7f201000208","5e1e35cc407a20de01000170","5e1e3e39407a20de0100022d","5e1e56662e41a7de0100012f","5e1e7705ce9ed9de0100012a","5e1e9340cda997de01000159","5e1ea949bedb58de010000da","5e1f4e1e9ddd0fde01000150","5e1f6a26e8f5ddde01000180","5e1fc8592b05b2de010000cb","5e1fff5a14d3c9de0100013f","5e20c5b75c2065de010001b8","5e20e306b46c27ee010001a0","5e211ee6d78fbbdf01000024","5e213d603a0076de01000018","5e21dd6baf8ac1df0100019a","5e23f1e9075528de010000c0","5e24d57b981ceddf010000b4","5e2500f92e79a1f201000055","5e25ce55f299d4de010001ab","5e25d90aa6f19fde01000030","5e2613f3408641df0100005c","5e262cfe24c8a6de01000023","5e26328524c8a6de0100006d","5e2723abf51e02de010001fb","5e2723aef51e02de010001fd","5e277a5658994fde01000250","5e2784f755fc50df01000004","5e27bd9a328b80de0100005b","5e27e8d768d625de0100010f","5e28451cc4828cde0100005e","5e28859e67e11edf010000dd","5e2889f667e11edf0100012d","5e28be096acacbdf010000d4","5e28f42841639df30100003f","5e2c8d33061fbfde0100002e","5e2c9d80061fbfde010000be","5e2d39b604d333de0100002e","5e2df18f133023de010000ff","5e2e3a70185844df0100007c","5e2e8d8e8d5204de0100004d","5e2ffb915bfc8ede01000096","5e30592b57a222df0100018b","5e30eced5f9c1cf2010001aa","5e31e2a5bba4d0de01000178","5e31e805bba4d0de0100022a","5e321ecef80a24de01000104","5e3244fee45eb5df01000048","5e326f1a5633c9de010000b0","5e336773f3004edf010000be","5e345702a8890cde0100000d","5e3509ff8c7375de0100004f","5e3519068c7375de010000cd","5e3555a950cde4de0100000c","5e3639681aba0fdf01000015","5e375271e25d29de0100003e","5e375533e25d29de01000079","5e37b2f7e84c4cf2010000c8","5e37c25d56571fde0100003d","5e380024918d4ede01000092","5e385e0dccda85de01000193","5e386d181f8af9e00100009b","5e3872431f8af9e001000100","5e38a048645ed2de01000021","5e38b123645ed2de01000125","5e38b7ae645ed2de01000165","5e38c99d87bbe9de010000d3","5e38f06181a46ade0100014e","5e390326dc5b8ade010000ac","5e39037edc5b8ade010000b2","5e39907fd14579de010001b4","5e39bfb2d6538cdf01000049","5e39fc92aa2adade010000d4","5e3a51191469e8de01000076","5e3b1104ba2e16df01000061","5e3b682359b923df01000065","5e3c31bf34cd37de01000126","5e3c9a56f99721de0100004f","5e3ced8aad8243de01000041","5e3d8bfa96e576de010001b2","5e3dc16007ca74de01000126","5e3df0cfa4cc0ede010000a9","5e3e1c8f4cdb49de010000c8","5e3ed16c86a596de01000072","5e3ed34386a596de0100008a","5e3ede8f86a596de01000111","5e3f0627e7f957de01000056","5e3f24037da304de01000054","5e3fa03bcecf86de010001aa","5e40435c668183de01000097","5e41cb12e7c67ade010000c2","5e42279d70cecede01000142","5e42b550e7bb7ede01000157","5e42bcafe7fe39df01000028","5e42daf3a6f4a6f201000049","5e42ddd3a6f4a6f20100007e","5e42fc88aefe1adf010000a4","5e437a84b5e412df01000112","5e445d7adf3c2af3010001ba","5e46d29642fb31df01000084","5e472efef6106ade010000cb","5e48728586dc17de01000009","5e4883ea86dc17de0100009a","5e489e356ac344de010000c9","5e48dd69d8606ddf010000a9","5e49955f552c77df01000072","5e49d5c3b63120f2010000b4","5e49fe09cc11a8df0100002b","5e4a2a80d2dbc8de010000d8","5e4a820958ecd9df0100012b","5e4ab43715f6c7df01000147","5e4ada6a0d7631de0100018b","5e4b07be332a9bde010000e0","5e4b188fc59ab1f301000036","5e4b21e3c59ab1f3010000f8","5e4b7573a6c158df0100008b","5e4cb31b160d65de01000134","5e4cc1a60cc7d3de0100002e","5e4cec0e3e28aede0100012b","5e4d647308a8e5de01000027","5e4dd325682c99de0100018a","5e4e03f7cc196bde01000174","5e4eed9f338acfde01000010","5e4efa3a338acfde010000db","5e4f04e8338acfde01000170","5e4f2e5daa67a8de0100006a","5e4f53598a3535f3010000cd","5e4fe917ea0ccade01000134","5e500795933046de0100001a","5e50202c933046de01000185","5e505d92cb6c3ede01000028","5e510bc697f7cdde0100006d","5e52c4226a3abede01000163","5e53bbe437b729de0100011b","5e53cbd280e18ade01000075","5e55431aca58a8df0100019a","5e5555c0e89e5fde01000080","5e559700009772df01000159","5e55a7827d0846de0100005d","5e55f3dbc2c8a2df010000f7","5e5696dceb2916df010001fc","5e571f94429006de010001b9","5e573ac0bf9f82de01000091","5e5887bfc8b5dede01000008","5e591c039bb6d2df01000151","5e5992338049fcde0100015c","5e5a16f63557f5df010000b3","5e5a1adc3557f5df010000c2","5e5afd78038583de0100010e","5e5b44bf74a3e7df0100009d","5e5bce0ab57681df0100003f","5e5c259015d8f5de01000070","5e5c3b1e68f281de01000026","5e5c49e968f281de010000b2","5e5c75fdb6f2f6df0100005b","5e5d0b4d342171f3010000d8","5e5e68725f9e7bee0100024f","5e5e9d2fc0a53dde01000248","5e5e9d8bc0a53dde01000251","5e5ed5df8c261adf01000160","5e5eff2e6ee7bddf01000084","5e5f36539771b7de01000082","5e5f3e5a9771b7de010000c8","5e601cf3c064fcde010001dd","5e601e54c064fcde01000215","5e60402f182590df010000e9","5e606f549119f0de01000074","5e608c4d1fc211de0100007c","5e60bbbd951697df01000023","5e61c5f7abaeaede010000ed","5e628bc36f352ede01000182","5e62f7c8377bb9de01000073","5e63350e716092de01000088","5e648223e89ef4df01000055","5e656c02de41b9df01000137","5e65c1b1d92058de010000e3","5e665cdd46e828de0100014d","5e668f9744d2c4de0100004c","5e673c3b4d24a6df01000053","5e67a04fd527f0de01000221","5e67ec930e29d3de010001b8","5e69011c8457bade0100020f","5e6949c66964dedf01000389","5e6974e8ae9c71de01000429","5e6a795040f1fadf01000173","5e6b99641e8366df010001c9","5mQkyMRfMQfFoS6KH","5qS8N5cnph7BJAPZZ","5rfKneErnpvH8A9jA","5skxEGb2BBHpeKyt4","5z7Wpte69tgLqqGkC","68EA8Cmskiufz7DJp","6EdFguvL9rewyRxc9","6Eknvbpw9gjy6ha3N","6Hu66HCevYppc4Drt","6RJeJwCaTdt9z5nYv","6RqJntHtbSSqDRNWZ","6etQdZGNbeBm7rChH","6pp8rNYJc8Zg7jWRh","6s4iMMn4wsF46dCfE","6uoebprAqoqiJQ3Qr","6vPX7dp4BL2qMjx2i","74Nonph4iXZNKuNbE","79gzCLyYShSrLxe3y","7APtvEp3EpobEWowq","7MeNyJSi9Nxc8Cte7","7bxyKKMGnHxEQh3cj","7deQZsScCfPeKMrqy","7ji3DBFFx2FNbKN5E","7sMzqkriwY5wxSL6Z","82tnJxHfSJ4P9TMi9","8BFrxBcZ5SvYjDxuz","8DZpkMWCqLRt5YF73","8hsqmHmWcx8qpk3bN","8xMQTiaY9dRbMp4NF","9398PmyQ27D3iADhL","9CoMSeseCHFJmToy6","9LLMEh3nwWnskBWPZ","9NPxX8ZAokbJJ7xYE","9WsjEaFT7zuEGptus","9jPSyMaccQATNQzFR","Ase6oC3iozLdtdtGc","AtaDzKGXz9bfKWfab","AutiwYumRy43QWDud","B9uXL4nnwKfmJX34Q","BLG4GQfWgprgscNEY","Bfned2GxACmbwfDYr","BsZbZovaHNF4dA3SG","C4E5YPuvmNd9py6JS","CN33uiwPGLY7Mrdkq","CP4DXyD2Lt8FWFmYe","CRErroSperLe6zYiE","Cg5TbKTFYa2JMpkqS","CwnqFTKNzbFBoZkkj","CzTmxSkSkem3essqH","D4xGBAagguY7kJXJW","D5rWeF7jSLL5ksBGJ","DJNc7aAZGLpHwWQA9","DLC2LeY9k5YX9NPn8","DPH6F3udnr4WBuFRg","De5oQmDgkLLZEoiLb","DjLtEgiexX3Kf8AQA","E5K2W4yv8YFZ736zu","EL29CgiHCEiD5e7tY","ERJ6n4yxXcmvNxKLr","Eeu77r3XADarRPjYQ","EmFyGkSJ2xe2aKGfA","F96E8XgYRrywZQXje","F9BKuyQ7Zmp72Skgu","FKZENJ7AGoiDyEd8R","FXmbW2PByzK7JzScF","FdgXXCrZRwATQi6TB","FeJJssLuMrmQ4XCEe","GKYqrPg3uj7nu7nbt","GZ5pgxoPDdsNKaud5","Griqn2kQw4EPMCN5b","GvvCbq8Y4n9QqTySC","GxQnC5QEN6zN93csy","HF25KvZDEBf5Nvp8x","HGdL8oSkwDjubZKrg","HJvFSBWHEyWT2yDXr","HQBG7KuYq7s7Y8xWm","HRiEH6pQyj6gqeDpJ","HTN44dpu77wAWF8HE","HhKYdEPpCZAmKPPQc","Hhuz4hLfoftKnrGCL","Hw64dGFXvQYc84nt4","J5FZeQWmDd6p96K8P","JDoXnkWb7QmkjpPqn","JGfakYisbgxjaayRF","JWXGBrP5zGKryucGQ","JpjjBg4ounmr4pNAL","Ju69wx2dmo2vghnof","K79xWFQnkdwRnf4m4","KWn7wGxZBhBNAYswZ","KXahhenmqyNn4oLPY","KbFA7g8j7vHpripGv","KwLm5LfL8LpgKk8XJ","L3ti55rTMfK4wbniT","LY2rc3acSsnpbqWaC","LY43QffNmZdgdE3CG","LaCFked5xynKRes3E","Lfjw2G5KhBQc4haiY","LwM6JQzAoeaSdkDoh","LwbwhDPiGy5gvQipm","LyLhaT6C9orD5ERfE","M6QYTNAQjrBBG66wk","M7ShSrryLW7tho25a","MKhPizznscn46Kyyx","MS2k5CuYPQGv74L4K","MfvWfmj6ZnNBngors","MsguxguXgRyYxk45Y","MuFgs7yNFmiemfzYD","NHteECzaiNToZGoaj","NJYBJe35TWp5FARRc","Ni37kLLmf4zgkdNFZ","Nv2RzNnBmPk5mLT5d","PAYd8XEqjnkrjhwrg","PGp7wpcDhqLTNBYTh","PHBpBurxq63AJ63oh","PgvWfKhkH6EEmEKZS","PmXDGxjeoAc2xjYzn","PnX98QWrM4AMYue3d","PwD8k6NPnFzvkX9RS","QD36Xusv4F6eKH35p","QQ9WfPjb3QwJJ2HNe","QqK2pEnxsWPtggmau","RD3MLZkEWRHrzJ3kc","RLMHMCAyhQ4dv5jJA","RPPC4R73ysH4H7SGb","RStoeQpfqvDsMSLzJ","RkhrouwYowFbrqJZD","RyXWKtuTzn8gnacDy","Rz4Thr7KBL4Qsfkvf","S3y5upMEh5dQLG8To","SMJZGN42E7wMksasc","SRsNZQrwj7gDZafbi","SavSzHDMMpy2FRXfC","ScQXvfMQ9Tic768fo","SmMW4vsdBxQQyrjNp","SoX5FCcrprnCibbaY","T9PWjMkNwX9WQ5frZ","TFdNbtGbXcmfpYGCY","TWXSTkEtymfneuSo3","ThkjQFuJNebMhAeff","TuqvMAPdZhcxfZKp7","WK7fYYMnyCwdr9WDz","WLbWauY948ZKqDaMi","WNrGvXmfeyGgJmcCZ","WXs6ZA7NcNPQiCxjq","Wc6Mv6xsMLpZmCivD","WhNRrizju67KA8Lkc","Wipe7PE2hMCo9rb5r","WqK5hyou7uXmQujn8","WqZpp9fP47artme8L","Wwix7Msz5f4oDtkzq","X7uFbGZHPNgiEFXkL","XCnXFqMPKPFkRq2kj","XELkWriNsABzHMyaw","XEMAfXz5wSaaLnBkk","XJa6JreSzLdEoH6LB","XJmhFNkjsRsQ2CEg7","XT8qtRpePyhBFS9Rn","XYeaHAw8sEsBRecu6","XikRkivDuTLBsnvqj","Xk4J4P2xytW5hYwtW","Xok3xyD6naGyw5GPr","Y5zexb3dWAoXywye9","YBh8spJsQ3FTZBYjE","YPYsEJWS4oT6nAmLG","YtuTphTGqgakv2s3e","Z4e8DEqtrCpaKgK2t","ZJFbo6ghotvQY7cAu","ZPjHR5xEfS4T2TYff","ZfYa3pL2BNvcZGmEo","ZoLaij4grmr7bf3uH","Zpc3ccgj793cu9J4J","ZswxG66TZYBMSpSxX","Zz2ms4ABK7sTWcTcv","aT6zYPvoYTZoPHSDK","aXBRouHw2x2TwqbuE","aXXkePwC6pW3GtCLj","afomoqsjNam4kWNaE","ah2FNqZqgqkMf7rno","ajN4ctXnoBcdEAqm6","auLBcR2rEL4LdwQBv","b3BwwLGwyQ5tdzPuv","b6GLzqB7teZXEARRW","bEmS8RZ5CJuT2gFiX","bGnkobLDZH4uXRf2J","bLYsspY2CqHvyagHy","bTiHQm9EMuTaFj3nP","bwTn6BqGYxYvPvcuH","c4tfxbwETHjYbndJq","cCYjgRp4CB3iT4DXn","dQTuaaYQLNDuHXPJB","dSvyDxvHdpJ3uQRZS","dd9z5gT9HG9MajHRj","dpPuqNAJK8mWDbLZJ","e4t94Yy3E3tGAf8aw","eAAG3TYHHXwAWuStx","eMTz8pGc5xxNG96mF","ebbpt8GJJQ8bs2x88","ecuwxgWSWrYbaSsYc","edSsmdTokNGPS6HKQ","eeZmd8QWtPJ7ptFnf","etL5b4YuZTNoakiAp","eth8Psjd57cq8E8Co","eydKDmXADLwqeDZ8b","fDeJYM7EyguBfatyh","fNBSSrJYZoxYxGBSH","fNoJRsFCByxmvdyrj","fRHmQzgkw3or5AH4i","faoX6iRZpNZ3PykNe","fo9rD3fd6AoKoyx8L","fvfJBwpNskJpLFQkQ","fvpshfvYFCJo4DFaj","gCMvz6LgzLrBCg2Kv","gePYHySiWZgX4Mktv","ggji5kcfmHCHNKNs5","gmoeeeCMynkfN2oBN","goc5YRXzjuZMrzKik","gytGGWJgSakhSMRwy","hN2DmW4rnH8Pnd8Pb","hQnHEkbQa9MpTfptC","hkYWqcM6FyEqTjCFS","htrNC4rPDzh6zfTLS","hzhZTHf2LgkcQjn8F","i4y7whKAjiPfzfoBX","iEMJPovEGF7jk6vBD","iKgpWa6YbzDPcfQ4j","iLiSLZxdM59vKj6vZ","iWkYLX2HSxaiwbphr","idHiWCZdAj5xRhq55","ievB7fhQaj8MKyudh","imZTtnvWE3fYkeFC4","ix6ANwabRWWKmBkkJ","iyAm8MDd4tiCPehrt","j9wxxJ9nPog3bHXaY","jArTXYwhaXss62KJk","jDKMWz2HRWazhvZGR","jDsmsaB2wJpvPgxE4","jRoei8QqmbQm7dCpz","jScGdqCroYSYQzbmn","jSo4omfZRbwdak68L","jbP966YWWd6We9ZAn","jczyKYeHzR9WLg4os","kCGypuwEzzEZ4bANH","kSfpomb2i9SWgtiBN","kY6axZ52PHqfrPeZj","khGQxf8CeTun6EhCj","kjWK2qZTD4uDfDGcs","knfRjMMkfxsyhncDb","kwq6YQejtuDFNds68","kx2M4GyrQDBEqRT4q","m6X7Yg32T74Fxxn2d","mbYnHhad3xcPXzzvd","mgfNQFNpMoJF4EeRw","n4JJ8Ex2m6k6aarmT","n6NX7JWC7EdiNKJWs","n9icG558HioHC8MXf","nWvxvZoD5XQC2uvDy","nYSwHNS4tW4kA3Fkc","neBJHhf23ZB2t6DK2","nkcvtpuZSJkBjTmFx","nvsBeFCxyzjQRGPSi","nygx7EFq9HMoN4a9C","o5JJB5hP8KQWQQZee","oFNtYpdMYq7zSdTL8","oRaA3qdq5ecEdQEH4","oZfCcr3XGc2NKJnzp","oiB9qHxxj9dyjTaFm","osJqgcwxQbD6pbeZN","ov6nZ5yq37hAjpaJu","ozovKeJngTGFg73pN","pDKmvkT3JCdxyBiAz","pPpzye44oh4HdmNTe","pRtcYGMaZMG8GTaSz","paM4BdJgmXhvmhNf8","peRtExMNxLTJXE6tt","pioEvY776nBxs6aWE","ppRMpo9GCYdevZxWP","pukpE3HahNBs5fniG","q7ZjL2Zpj773HXcXw","qMhYmBA6uPaEqeb8i","qTcWfXPAfjuKQBp6s","qZ5JNwT2rb9NRtrXZ","qafMWpAF4SXY2MgGf","qhRSXovfN7J4AxQGD","qsbvGMJENpRMSt4DG","qtsvewDWfh5T3ttJR","qwCGvGMX8YMnFR6nH","qyGbawEZ88rfaEuds","r4hxRFQJbiRwrcJd2","r6u8KwrKqkhQCpC2r","r6w4JtakbvmuyQwu3","rCJ3knRhzWHJYZAXp","rMN9LNXX3BkR2Zkya","rNzJWC236LniXcSFH","rf3mvi8stnf5WwWj8","rg4BGx7oTN2KjDbZZ","rkuZXRGfSjCj7x2fG","scYoRxpyPv4errWrm","sioMRjkb8SR9AxvMH","sqFWEt3E5P4uWnSnv","t8kx7bh5CuQZdNTT2","tFgeeccnkuqSr29Nx","tLGEzRTNA7xSMbTDv","tM78za6NMAYqEm2h2","tQ5wcmxKaZtDhYDJq","tRLzqBJWc3TYzBYox","tghNW68cHGdnGPtwD","thS6fxpcwuKGzXd2G","tjePyaNHNfQunkKqt","tmHrh8yBFTwMrLukn","tnCDXuAY8yBp2Tqcd","tqovH8YTiokqLGJjG","tsSjyMJyaDssyQQ6u","tu5B5xQQBBq2BkLvW","u3YkT2JvuBoNnMZMW","u5REmCgT9mBWyuviD","u7DCsa7zECAenCWrT","uN6TQAwAjN5uMmTRc","uNYztaohBbLTqKs8y","uRqZ6qHdTgC2H5QpD","uedsvNHiTzM2jmBok","uhcsHbKoNnsBWCpow","uje7xna6hQTGg8rML","uxproQToHm4wEZeph","vBSB7EKf9y8WwWxh8","vReYR7kzq7n4RR9Ng","vWEakZBPRmDDmTTWX","vcJfjbeoFArJXF9rC","vwGTHPyh4YDabuqXq","wGWyTtcLspnfJaLeT","x6aX8g9rWCY5wzyW2","xFWkfv53YNtZZ6vbq","xW8eSNRWi7bXhQuHC","xZ6wRPENk64YNgMr7","xm2sosMHyKsPj85Pb","xoHQZ4qiFbpDvAXSz","xsWwhLF9YY2Hsh8DS","ybLsHWfLgzQZAQ5WE","ys8hAoNeoPNNJ3g6i","yuMSypoFLjg5tBxpe","z3DoRcjp42qZBqotD","zLcCPe4gwtkpgmZuP","zWmt5ktqFnWstKcxq","zaPuAzo4u9PxDJipf","zjRArMkPpWDSbCgwF","zsNPuARLzosfgmFwd","zu6mEoDa3bzHQ4mKY"],"author_short":["Sanner, S.","McIlraith, S."],"bibbaseid":"sanner-mcilraith-anorderedtheoryresolutioncalculusforhybridreasoninginfirstorderextensionsofdescriptionlogic-2006","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["S."],"propositions":[],"lastnames":["Sanner"],"suffixes":[]},{"firstnames":["S."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"year":"2006","title":"An ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic","booktitle":"Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR-06)","url_paper":"https://ssanner.github.io/papers/anu/dlfol_kr06.pdf","bibtex":"@inproceedings{sanner:kr06,\nauthor = \"S. Sanner and S. McIlraith\",\nyear = \"2006\",\ntitle = \"An ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic\",\nbooktitle = \"Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning ({KR-06})\",\n url_paper = {https://ssanner.github.io/papers/anu/dlfol_kr06.pdf}\n}\n\n","author_short":["Sanner, S.","McIlraith, S."],"key":"sanner:kr06","id":"sanner:kr06","bibbaseid":"sanner-mcilraith-anorderedtheoryresolutioncalculusforhybridreasoninginfirstorderextensionsofdescriptionlogic-2006","role":"author","urls":{" paper":"https://ssanner.github.io/papers/anu/dlfol_kr06.pdf"},"metadata":{"authorlinks":{"mcilraith, s":"https://www.cs.toronto.edu/~sheila/preferences/","sanner, s":"https://d3m.mie.utoronto.ca/publications/"}},"downloads":21},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/ssanner/ssanner.github.io/master/Sanner_CV.bib","downloads":21,"keywords":[],"search_terms":["ordered","theory","resolution","calculus","hybrid","reasoning","first","order","extensions","description","logic","sanner","mcilraith"],"title":"An ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic","year":2006,"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","bu3H436jGJwM2szJd","optQ3PYGE2PxhriFJ","2LLKDfkxMDdABm58M","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","GmTd9cvnR3QXRus38","vAo9zFmkx4MpPsgha","Jwuh2BtHasSBPk4uf"]}