Franz Baader  Home/Search
Context
Related
| dblab.ntua.gr/%7Edwq/unif_dwq.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dbnet.ece.ntua.gr/...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Unification of concept terms is a new kind of inference problem for Description Logics, which extends the equivalence problem by allowing to substitute certain concept names by concept terms before testing for equivalence. We show that this inference problem is of interest for applications, and present first decidability and complexity results for a small concept description language. (Update)
Similar documents (at the sentence level): More
42.4%: Unification of Concept Terms - Baader, Narendran (1997) (Correct)
40.0%: Unification of Concept Terms in Description Logics - Baader, Narendran (1998) (Correct)
22.4%: Unification of Concept Terms in Description Logics: Revised.. - Baader, Narendran (1998) (Correct)
Similar documents based on text: More All
0.6: Description Logics with Aggregates and Concrete Domains - Baader, Sattler (1997) (Correct)
0.5: Modeling Multidimensional Databases: A Formal Object-Centered .. - Hacid, Sattler (Correct)
0.5: Open Problems with Part-Whole Relations - Artale, Franconi, Guarino (1996) (Correct)
BibTeX entry: (Update)
@inproceedings{ baader97unification,
author = "F. Baader and P. Narendran",
title = "Unification of Concept Terms in Description Logics",
booktitle = "Proceedings of the International Workshop on Description Logics, {DL'97}",
publisher = "LRI, Universit\`e PARIS-SUD, Cente d'Orsay",
pages = "34--38",
year = "1997",
url = "citeseer.ist.psu.edu/article/baader97unification.html" }
Citations (may not include all citations):1 cation of concept terms (context) - of, Quality et al. - 1997
1 Applicable Algebra in Engineering (context) - can, equational - 1996
1 AAAI Press (context) - MA - 1996
Documents on the same site (http://www.dbnet.ece.ntua.gr/~dwq/publications.html): More
Source Integration in Data Warehousing - Calvanese, De Giacomo, Lenzerini, .. (1997) (Correct)
Dynamic Data Warehouse Design - Theodoratos, Sellis (1999) (Correct)
Representing and Reasoning on SGML Documents - Calvanese, al. (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC