Dynamic Description Logics

No abstract is available for this paper.

• Publication year

  1998

• Venue

  Advances in Modal Logic

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The product of converse PDL and polymodal K

  2000cited by this paper
• Products of Modal Logics, Part 1

  1998cited by this paper
• Temporalizing Description Logics

  1998cited by this paper
• Satis ability problem in description logics with modal operators

  1998cited by this paper
• Reasoning in description logics

  1997cited by this paper
• TBox and ABox Reasoning in Expressive Description Logics

  1996cited by this paper
• Reasoning about action and change

  1996cited by this paper
• Terminological Logics with Modal Operators

  1995influential reference
• Combining Terminological Logics with Tense Logic

  1993cited by this paper
• Attributive Concept Descriptions with Complements

  1991cited by this paper
• A Correspondence Theory for Terminological Logics: Preliminary Report

  1991influential reference
• A Terminological Knowledge Representation System with Complete Inference Algorithms

  1991cited by this paper
• Temporal Terminological Logic

  1990cited by this paper
• A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic

  1987cited by this paper
• Recent Developments in NIKL

  1986cited by this paper
• An Overview of the KL-ONE Knowledge Representation System

  1985cited by this paper
• Applying modal logic

  1980cited by this paper
• SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC

  1976cited by this paper

• A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN

  2024cites this paper
• Dynamic Digital Twin Modeling towards Ship Operation and Maintenance Process

  2023cites this paper
• Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach

  2018cites this paper
• University of Birmingham Dynamic and unified modelling of sustainable manufacturing capability for industrial robots in cloud manufacturing

  2017cites this paper
• Dynamic and unified modelling of sustainable manufacturing capability for industrial robots in cloud manufacturing

  2017cites this paper
• Description logics of context

  2016cites this paper
• On the Closure of Description Logics under Substitutions

  2016cites this paper
• Propositional Dynamic Logic for Petri Nets with Iteration

  2016cites this paper
• Propositional dynamic logic for Petri nets

  2014cites this paper
• Research on Contradiction Problem-Oriented Description Logic

  2014cites this paper
• Reasoning about history based access control policy using past time operators of interval temporal logic

  2014cites this paper
• Research on Contradiction Problem-Oriented Description Logic ALCD-ES

  2014cites this paper
• Logics of Belief and Knowledge

  2014cites this paper
• Refinement Quantifiers for Logics of Belief and Knowledge

  2014cites this paper
• Reasoning with Contexts in Description Logics

  2013cites this paper
• A modeling and description method of multidimensional information for manufacturing capability in cloud manufacturing system

  2013cites this paper
• A Family of Dynamic Description Logics for Representing and Reasoning About Actions

  2012cites this paper
• Towards an Expressive Decidable Logical Action Theory

  2012cites this paper
• Towards an Expressive Practical Logical Action Theory

  2012cites this paper
• Formal Verification of Data Provenance Records

  2012cites this paper
• PS PACE Tableau Algorithms for Acyclic Modalized

  2012cites this paper
• Topics in knowledge bases: epistemic ontologies and secrecy-preserving reasoning

  2012cites this paper
• Study on the description method of manufacturing capability based on description logics in cloud manufacturing

  2012cites this paper
• PSPACE Tableau Algorithms for Acyclic Modalized $\boldsymbol{\mathcal{ALC}}$

  2011cites this paper
• Dynamic Description Logics Based Semantic Web Services Composition

  2011cites this paper
• A description logic based situation calculus

  2010influential citation
• Dynamic Linear Time Temporal Description Logics

  2010cites this paper
• A PSpace Tableau Algorithm for Acyclic Modalized ALC

  2010cites this paper
• GRACE TECHNICAL REPORTS Proceedings of the Sixth Asian Workshop on Foundations of Software

  2009cites this paper
• Multi-agent Based Bioinformatics Integration Using Distributed Dynamic Description Logics

  2009cites this paper
• Description logic for coalitions

  2009cites this paper
• A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains

  2009cites this paper
• A Dynamic Description Logic for UML

  2009cites this paper
• Reasoning about Web Services with Dynamic Description Logics

  2009influential citation
• A dynamic fuzzy description logic

  2008cites this paper
• Modeling and Reasoning about Semantic Web Services Contract Using Description Logic

  2008cites this paper
• A New Model to Describe Information Semantic Interoperability

  2008cites this paper
• An Approach to the Development of Flexible Multirobot Systems: the Potential of Using Mobile Code Technology

  2008cites this paper
• Semantic Query Routing for Ontological Knowledge Chain

  2008cites this paper
• Dynamic description logic model for data integration

  2008cites this paper
• A Dynamic Description Logic Approach to Extended RBAC Model

  2007cites this paper
• Disjunction in modal description logics

  2007cites this paper
• An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries

  2007cites this paper
• Goal Representation and Reasoning based on Description Logics(DLs)

  2007cites this paper
• A Dynamic Description Logic for Representation and Reasoning About Actions

  2007cites this paper
• Sveuciliste u Zagrebu PMF - Matematicki odjel

  2007cites this paper
• Combining modal logics

  2007cites this paper
• A Dynamic Description Logic for Semantic Web Service

  2007cites this paper
• AGrIP - Agent Grid Intelligence Platform

  2007cites this paper
• A Formal Framework for Description of Semantic Web Services

  2007cites this paper
• A New Method of Performance Test for Network Storage

  2007cites this paper
• Dynamic Description Logic: Embracing Actions into Description Logic

  2007cites this paper
• A DDL-Based Software Architecture Model

  2006cites this paper
• DDL: Embracing Actions into Semantic Web

  2006cites this paper
• A logical foundation for the semantic Web

  2005cites this paper
• PDL with intersection of programs: a complete axiomatization

  2003cites this paper
• A Tableau Decision Algorithm for Modalized ALC with Constant Domains

  2002cites this paper
• A proposal for describing services with DLs

  2002cites this paper
• Decidable fragments of first-order modal logics

  2001cites this paper
• Logic Engineering. The Case of Description and Hybrid Logics

  2000cites this paper
• Multi-Dimensional Description Logics

  1999influential citation
• Modal description logics: modalizing roles

  1999influential citation