Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Propositional Dynamic Logics of Programs: a Survey
Logic of Programs, Workshop
The Taming of Converse: Reasoning about Two-way Computations
Proceedings of the Conference on Logic of Programs
SFCS '79 Proceedings of the 20th Annual Symposium on Foundations of Computer Science
Practical Reasoning for Expressive Description Logics
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Beth Definability for the Guarded Fragment
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Description Logics for Information Integration
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Complexity of Poor Man's Logic
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
A Road-Map on Complexity for Hybrid Logics
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Clausal resolution for normal modal logics
Journal of Algorithms
Deciding expressive description logics in the framework of resolution
Information and Computation
Automata can show PSpace results for description logics
Information and Computation
Dynamics of Approximate Information Fusion
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Loopy Propagation in a Probabilistic Description Logic
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Role Conjunctions in Expressive Description Logics
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic
Uncertainty Reasoning for the Semantic Web I
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Converting Mikrokosmos frames into description logics
NLPXML '04 Proceeedings of the Workshop on NLP and XML (NLPXML-2004): RDF/RDFS and OWL in Language Technology
Ontology-based modelling of architectural styles
Information and Software Technology
Expressiveness of concept expressions in first-order description logics
Artificial Intelligence
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Reasoning on UML class diagrams
Artificial Intelligence
A formal framework for description logics with uncertainty
International Journal of Approximate Reasoning
FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic (TOCL)
Expressive description logics via SAT: the story so far
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
A Semantical Framework for the Orchestration and Choreography of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
The complexity of finite model reasoning in description logics
Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Prime implicates and prime implicants: from propositional to modal logic
Journal of Artificial Intelligence Research
OWL rules: A proposal and prototype implementation
Web Semantics: Science, Services and Agents on the World Wide Web
An ontology for software component matching
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Non-standard inferences in description logics
Non-standard inferences in description logics
Logic-based knowledge representation
Artificial intelligence today
A description logic based situation calculus
Annals of Mathematics and Artificial Intelligence
Transactions on computational collective intelligence I
Reasoning and explanation in EL and in expressive description logics
ReasoningWeb'10 Proceedings of the 6th international conference on Semantic technologies for software engineering
ABox Abduction in the Description Logic $\boldsymbol{\mathcal{ALC}}$
Journal of Automated Reasoning
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Relationship-based access control policies and their policy languages
Proceedings of the 16th ACM symposium on Access control models and technologies
Constructive Description Logics Hybrid-Style
Electronic Notes in Theoretical Computer Science (ENTCS)
Unification in the description logic EL without the top concept
CADE'11 Proceedings of the 23rd international conference on Automated deduction
Foundations of description logics
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Conjunctive query answering in the description logic SH using knots
Journal of Computer and System Sciences
PDL with intersection and converse is decidable
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
A framework of cooperative agents with implicit support for ontologies
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Layered ontological modelling for web service-oriented model-driven architecture
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Semantic foundation for preferential description logics
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Finite-valued Lukasiewicz modal logic Is PSPACE-complete
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
Justified terminological reasoning
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
From Tableaux to Automata for Description Logics
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Modal description logics: modalizing roles
Fundamenta Informaticae
ABox abduction in ALC using a DL tableau
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
A defeasible reasoning approach for description logic ontologies
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
Reasoning in description logics: basics, extensions, and relatives
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
An ontology-based approach for modelling architectural styles
ECSA'07 Proceedings of the First European conference on Software Architecture
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
Information Sciences: an International Journal
A goal-oriented algorithm for unification in ELHR+ w.r.t. cycle-restricted ontologies
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
ExpTime Tableaux for Using Sound Global Caching
Journal of Automated Reasoning
Finite satisfiability of UML class diagrams with constrained class hierarchy
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Temporalizing ontology-based data access
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Introductions to description logics: a guided tour
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Hi-index | 0.00 |
We show that the terminological logic ACC comprising Boolean operations on concepts and value restrictions is a notational variant of the propositional modal logic K(m)- To demonstrate the utility of the correspondence, we give two of its immediate by-products, Namely, we axiomatize ACC and give a simple proof that subsumption in ACC is PSPACE-complete, replacing the original six-page one. Furthermore, we consider an extension of ACC additionally containing both the identity role and the composition, union, transitive-reflexive closure, range restriction, and inverse of roles. It turns out that this language, called TSL, is a notational variant of the propositional dynamic logic converse-PDL. Using this correspondence, we prove that it suffices to consider finite TSL-models, show that TSL-subsumption is decidable, and obtain an axiomatization of TSL By discovering that features correspond to deterministic programs in dynamic logic, we show that adding them to TSC preserves decidability, although violates its finite model property. Additionally, we describe an algorithm for deciding the coherence of inverse-free TSC-concepts with features. Finally, we prove that universal implications can be expressed within TSC.