Abstract
Motivated by applications that demand for the adequate representation of part-whole relations, different possibilities of representing transitive relations in terminological knowledge representation systems axe investigated. A well-known concept language, ALC, is extended by three different kinds of transitive roles. It turns out that these extensions differ largely in expressiveness and computational complexity, hence this investigation gives insight into the diverse alternatives for the representation of transitive relations such as part-whole relations, family relations or partial orders in general.
The author is sponsored by the Deutsche Forschungsgemeinschaft under Grant No. Sp 230/6-6
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Artale, F. Cesarini, E. Grazzini, F. Pippolini, and G. Soda. Modelling composition in a terminological language environment. In Workshop Notes of the ECAI Workshop on Parts and Wholes: Conceptual Part-Whole Relations and Formal Mereology, pages 93–101, Amsterdam, 1994.
F. Baader. Augmenting concept languages by transitive closure of roles: An alternative to terminological cycles. In Proc. of IJCAI-91, 1991.
F. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In Proc. of KR-91, Boston (USA), 1991.
F. M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. Technical Report RR-95-07, DFKI, Kaiserslautern, Deutschland, 1995.
M. J. Fischer and R. E. Ladner. Propositional dynamic logic of regular programs. J. of Computer and System Science, 18:194–211, 1979.
E. Franconi. A treatment of plurals and plural quantifications based on a theory of collections. Minds and Machines, 3(4):453–474, November 1994.
J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logic of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.
B. Hollunder, W. Nutt, and M. Schmidt-Schauss. Subsumption algorithms for concept description languages. In ECAI-90, Pitman Publishing, London, 1990.
R.E. Ladner. The computational complexity of provability in systems of modal propositional logic. SIAM J. of Computing, 6(3):467–480, 1977.
H. Levesque and R. J. Brachman. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence, 3:78–93, 1987.
S. Pribbenow. Modeling physical objects: Reasoning about (different kinds of) parts. In Time, Space, and Movement Workshop 95, Bonas, France, 1995.
K. Schild. A correspondence theory for terminological logics: Preliminary report. In Proc. of IJCAI-91, pages 466–471, Sydney, 1991.
P. M. Simons. Parts. A study in Ontology. Oxford: Clarendon, 1987.
Manfred Schmidt-Schauß and Gert Smolka. Attributive concept descriptions with complements. Artificial Intelligence, 48(1):1–26, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sattler, U. (1996). A concept language extended with different kinds of transitive roles. In: Görz, G., Hölldobler, S. (eds) KI-96: Advances in Artificial Intelligence. KI 1996. Lecture Notes in Computer Science, vol 1137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61708-6_74
Download citation
DOI: https://doi.org/10.1007/3-540-61708-6_74
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61708-2
Online ISBN: 978-3-540-70669-4
eBook Packages: Springer Book Archive