scientific article

zbMath0742.68064MaRDI QIDQ4012241

Franz Baader

Publication date: 27 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

terminological logicsconcept languagesconcept subsumption logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Knowledge representation (68T30) Natural language processing (68T50)

Related Items (20)

Using automata theory for characterizing the semantics of terminological cycles ⋮ Querying the Unary Negation Fragment with Regular Path Expressions. ⋮ Cardinality restrictions on concepts ⋮ One-Pass Tableaux for Computation Tree Logic ⋮ Automata-Based Axiom Pinpointing ⋮ Reasoning and Query Answering in Description Logics ⋮ Unification of concept terms in description logics ⋮ Automata-based axiom pinpointing ⋮ Terminating Tableaux for Hybrid Logic with Eventualities ⋮ An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability ⋮ Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs ⋮ Description Logics ⋮ Ontologies and Databases: The DL-Lite Approach ⋮ Clausal Tableaux for Hybrid PDL ⋮ An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability ⋮ Reasoning within expressive fuzzy rough description logics ⋮ On the expressivity of feature logics with negation, functional uncertainty, and sort equations ⋮ A goal-directed decision procedure for hybrid PDL ⋮ \({\mathcal E}\)-connections of abstract description systems ⋮ Decidability of SHIQ with complex role inclusion axioms

This page was built for publication: