An automata theoretic decision procedure for the propositional mu-calculus
Information and Computation
Proof systems for satisfiability in Hennessy-Milner logic with recursion
Theoretical Computer Science - Special issue on the Thirteenth Colleque sur les Arbres en Alge`bre et en Programmation Nancy, March 1988
Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
A formal approach to object-oriented databases
Data & Knowledge Engineering
Tableau-based model checking in the propositional mu-calculus
Acta Informatica
Attributive concept descriptions with complements
Artificial Intelligence
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Handbook of logic in computer science (vol. 2)
Boosting the correspondence between description logics and propositional dynamic logics
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Mathematical Theory of Program Correctness
Mathematical Theory of Program Correctness
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Subsumption for Complex Object Data Models
ICDT '92 Proceedings of the 4th International Conference on Database Theory
A Note on Model Checking the Modal nu-Calculus
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
The Propositional Mu-Calculus is Elementary
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Propositional Dynamic Logics of Programs: a Survey
Logic of Programs, Workshop
A Decision Procedure for the Propositional µ-Calculus
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
CTL* and ECTL* as Fragments of the Modal µ-Calculus
CAAP '92 Proceedings of the 17th Colloquium on Trees in Algebra and Programming
Automata theoretic techniques for modal logics of programs: (Extended abstract)
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
On the complexity of omega -automata
SFCS '88 Proceedings of the 29th Annual Symposium on Foundations of Computer Science
The complexity of tree automata and logics of programs
SFCS '88 Proceedings of the 29th Annual Symposium on Foundations of Computer Science
What's in an aggregate: foundations for description logics with tuples and sets
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
What can knowledge representation do for semi-structured data?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
Coordination Issues in Multi-agent Event Data Processing
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
A Uniform Approach to Inter-model Transformations
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Reasoning in expressive description logics
Handbook of automated reasoning
The description logic handbook
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools
Transactions on Computational Science IV
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Reasoning in expressive description logics with fixpoints based on automata on infinite trees
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
Agent-based middleware for web service dynamic integration on peer-to-peer networks
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Representation and reasoning on RBAC: a description logic approach
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Reasoning and quantification in fuzzy description logics
WILF'05 Proceedings of the 6th international conference on Fuzzy Logic and Applications
Querying Regular Graph Patterns
Journal of the ACM (JACM)
Hi-index | 0.00 |
Most modern formalisms used in Databases and Artificial Intelligence for describing an application domain are based on the notions of class (or concept) and relationship among classes. One interesting feature of such formalisms is the possibility of defining a class, i.e., providing a set of properties that precisely characterize the instances of the class. Many recent articles point out that there are several ways of assigning a meaning to a class definition containing some sort of recursion. In this paper, we argue that, instead of choosing a single style of semantics, we achieve better results by adopting a formalism that allows for different semantics to coexist. We demonstrate the feasibility of our argument, by presenting a knowledge representation formalism, the description logic µALCQ, with the above characteristics. In addition to the constructs for conjunction, disjunction, negation, quantifiers, and qualidied number restrictions, µALCQ includes special fixpoint constructs to express (suitably interpreted) recursive definitions. These constructs enable the usual frame-based descriptions to be combined with definitions of recursive data structures such as directed acyclic graphs, lists, streams, etc. We establish several properties of µALCQ, including the decidability and the computational complexity of reasoning, by formulating a correspondence with a particular modal logic of programs called the modal mu-calculus.