Adding Epistemic Operators to Concept Languages

No abstract is available for this paper.

• Publication year

  1992

• Venue

  International Conference on Principles of Knowledge Representation and Reasoning

• Publication date

  Unknown publication date

• Fields of study

  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 Complexity of Concept Languages

  1997cited by this paper
• Tractable Concept Languages

  1991cited by this paper
• Understanding Subsumption and Taxonomy: A Framework for Progress

  1991cited by this paper
• Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services

  1991cited by this paper
• Querying Concept-based Knowledge Bases

  1991cited by this paper
• A Terminological Knowledge Representation System with Complete Inference Algorithms

  1991influential reference
• CLASP: Integrating Term Subsumption Systems and Production Systems

  1991cited by this paper
• Nonmonotonic Databases and Epistemic Queries

  1991cited by this paper
• Attributive Concept Descriptions with Complements

  1991influential reference
• On Open Defaults

  1990cited by this paper
• Terminological Reasoning is Inherently Intractable

  1990cited by this paper
• Reasoning and Revision in Hybrid Representation Systems

  1990cited by this paper
• Hybrid Inferences in KL-ONE-Based Knowledge Representation Systems

  1990cited by this paper
• On Asking What a Database Knows

  1990influential reference
• CLASSIC: a structural data model for objects

  1989cited by this paper
• Principles of database and knowledge- base systems

  1989cited by this paper
• Towards a Theory of Frames and Rules

  1989cited by this paper
• On Closed World Data Bases

  1987cited by this paper
• Foundations of a Functional Approach to Knowledge Representation

  1984influential reference
• The Tractability of Subsumption in Frame-Based Description Languages

  1984cited by this paper

• A Lightweight Defeasible Description Logic in Depth - Quantification in Rational Reasoning and Beyond

  2019cites this paper
• Reasoning on Anonymity in Datalog+/- ∗

  2018cites this paper
• Enhancing Existential Rules by Closed-World Variables

  2018cites this paper
• Towards Automated Integrity Constraints Modelling and Validation A Survey and Approach

  2015cites this paper
• Verification of Knowledge-Based Programs over Description Logic Actions

  2015cites this paper
• Towards Automated Integrity Constraints Modelling and Validation

  2015cites this paper
• On the Modelling, Analysis, and Mitigation of Distributed Covert Channels

  2015cites this paper
• Epistemic Reasoning in OWL 2 DL

  2014cites this paper
• Reasoning with Contexts in Description Logics

  2013cites this paper
• EQuIKa: Epistemic Querying in OWL 2 Ontologies

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

  2012cites this paper
• Integrity constraints for the semantic web: an OWL 2 DL extension

  2012influential citation
• Topics in knowledge bases: epistemic ontologies and secrecy-preserving reasoning

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

  2011cites this paper
• Epistemic Querying of OWL Knowledge Bases

  2011cites this paper
• Practical Epistemic Entailment Checking in SROIQ

  2011cites this paper
• Revisiting Semantics for Epistemic Extensions of Description Logics

  2011cites this paper
• Automatic reasoner composition and selection

  2011cites this paper
• A knowledge encapsulation approach to ontology modularization

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

  2010influential citation
• Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules

  2010cites this paper
• Rational Closure for Defeasible Description Logics

  2010cites this paper
• Decidability of Class Based Knowledge Representation Formalisms

  2009cites this paper
• The SemanticWeb Languages

  2009cites this paper
• Generalized Closed World Reasoning in Description Logics with Extended Domain Closure

  2009cites this paper
• An automated policy refinement process supported by expert knowledge

  2009cites this paper
• Integracja heterogenicznych źródeł wiedzy z wykorzystaniem logiki opisowej

  2008cites this paper
• Distributed Reasoning for Context-Aware Services through Design of an OWL Meta-Model

  2008cites this paper
• Universit a Degli Studi Di Roma \la Sapienza" Design and Development of Cognitive Robots Design and Development of Cognitive Robots

  2008cites this paper
• Description Logics Modal Logics for Class Based Modeling

  2007cites this paper
• Epistemic Alc-knowledge Bases

  2007cites this paper
• A comparison of two modelling paradigms in the Semantic Web

  2007cites this paper
• The Description Logic Handbook

  2007cites this paper
• Towards a Uniied Architecture for Knowledge Representation and Reasoning Based on Terminological Logics

  2007cites this paper
• The Expressive Language ALCNHR+K(D) for Knowledge Reasoning

  2006cites this paper
• Representing and Reasoning with Modular Ontologies

  2006cites this paper
• Position paper: a comparison of two modelling paradigms in the Semantic Web

  2006cites this paper
• Ontology Representation and Querying for Realizing Semantics-Driven Applications

  2005cites this paper
• Product Knowledge Reasoning : a DL-based Approach 1

  2005cites this paper
• Representing Web Service Policies in OWL-DL

  2005cites this paper
• A description logic based approach for product knowledge reasoning

  2005influential citation
• Product knowledge reasoning: a DL-based approach

  2005cites this paper
• Fire : a description logic based rule engine for OWL ontolgies with SWRL-like rules

  2005cites this paper
• Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results

  2004cites this paper
• Extended Query Facilities for Racer and an Application to Software-Engineering Problems

  2004cites this paper
• Description logics of minimal knowledge and negation as failure

  2002cites this paper
• Designing effective retrieval engines for multimedia document repositories

  2002influential citation
• A Tableau Decision Algorithm for Modalized ALC with Constant Domains

  2002cites this paper
• Reasoning in Expressive Description Logics

  2001cites this paper
• Logical and Computational Properties of the Description Logic Mirtl

  2000cites this paper
• A Theory and Implementation of Cognitive Mobile Robots

  1999cites this paper
• "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality

  1999cites this paper
• Multi-Dimensional Description Logics

  1999cites this paper
• Logic-Based Knowledge Representation

  1999cites this paper
• Foundations of a logic based approach to multimedia document retrieval

  1999cites this paper
• Remarks on a Carnapian Extension of S5

  1999cites this paper
• Modal description logics: modalizing roles

  1999cites this paper
• Dwq : Esprit Long Term Research Project, No 22469 a Refined Architecture for Terminological Systems: Terminology = Schema ++views a Reened Architecture for Terminological Systems: Terminology = Schema + Views

  1998cites this paper
• Reasoning about High-Level Robot Behaviors by Model Checking andLocal Validity

  1998cites this paper
• A Temporal Description Logic for Reasoning about Actions and Plans

  1998cites this paper
• An Epistemic Operator for Description Logics

  1998cites this paper
• Mirlog: A Logic for Multimedia Information Retrieval

  1998cites this paper
• Reasoning about High-Level Robot Behaviors by Model Checking and Local Validity Tests

  1998cites this paper
• Planning in Description Logics: Deduction versus Satisfiability Testing

  1998cites this paper
• A Refined Architecture for Terminological Systems: Terminology = Schema + Views

  1998cites this paper
• Encoding Planning in Description Logics: Deduction versus Satissability Testing

  1998cites this paper
• Distributed development of a logic-based controlled medical terminology

  1997cites this paper
• Reasoning in description logics

  1997influential citation
• BACK V5 - Tutorial & Manual

  1997cites this paper
• Autoepistemic Description Logics

  1997cites this paper
• Ground Nonmonotonic Modal Logics

  1997cites this paper
• On the semantics of epistemic description logics . (Extended Abstract)

  1996cites this paper
• Explaining reasoning in description logics

  1996cites this paper
• Compositional Semantics for Description Knowledge Bases with Rules

  1996cites this paper
• A Uniform Tableaux Method for Nonmonotonic Modal Logics

  1996cites this paper
• DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics

  1996cites this paper
• Moving a Robot: The KR&R Approach at Work

  1996cites this paper
• Closed Terminologies in Description Logics

  1996cites this paper
• Theses

  1996cites this paper
• HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen

  1996cites this paper
• Limited Reasoning in First-Order Knowledge Bases with Full Introspection

  1996cites this paper
• Extending a Description Logic to Cope with the Completeness of Multimedia Documents

  1996cites this paper
• Terminological Logics with Modal Operators

  1995cites this paper
• Retrieval by Relevance Terminological Logics

  1995cites this paper
• Towards More Informative Answers in Terminological Logics ?

  1995cites this paper
• Task Acquisition with a Description Logic Reasoner

  1995cites this paper
• Ground Nonmonotonic Modal Logics for Knowledge Representation

  1995cites this paper
• Document Retrieval by Relevance Terminological Logics

  1995cites this paper
• Non-first-order features in concept languages

  1995cites this paper
• Description Logics in Data Management

  1995cites this paper
• International Workshop on Description Logics

  1994influential citation
• Terminological Systems Revisited: Terminology = Schema + Views

  1994cites this paper
• The F(rames)-Logic Approach for Description Languages II: A Hybrid Integration of Rules and Descript

  1994cites this paper
• Epistemic Queries in Classic

  1994influential citation
• Boosting the Correspondence between Description Logics and Propositional Dynamic Logics

  1994cites this paper
• Reasoning with Individuals in Concept Languages Reasoning with Individuals in Concept Languages

  1994cites this paper
• A Proof Theory for Preferential Default Description Logics

  1994cites this paper
• Refining the Structure of Terminological Systems: Terminology = Schema + Views

  1994cites this paper
• International Workshop on Description Logics : Bonn, May 28/29, 1994

  1994cites this paper
• On Intuitionistic Query Answering in Description Bases

  1994influential citation