A concept language extended with different kinds of transitive roles
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 333-345
- https://doi.org/10.1007/3-540-61708-6_74
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A treatment of plurals and plural quantifications based on a theory of collectionsMinds and Machines, 1993
- A guide to completeness and complexity for modal logics of knowledge and beliefArtificial Intelligence, 1992
- Attributive concept descriptions with complementsArtificial Intelligence, 1991
- Expressiveness and tractability in knowledge representation and reasoning1Computational Intelligence, 1987
- Propositional dynamic logic of regular programsJournal of Computer and System Sciences, 1979
- The Computational Complexity of Provability in Systems of Modal Propositional LogicSIAM Journal on Computing, 1977