scientific article; zbMATH DE number 1765711
From MaRDI portal
Publication:4539653
zbMath0988.68599MaRDI QIDQ4539653
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830701
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Computing the least common subsumer w.r.t. a background terminology, Expressive probabilistic description logics, Natural language directed inference from ontologies, Combining answer set programming with description logics for the semantic web, Reasoning about interaction protocols for customizing web service selection and composition, A tableau algorithm for description logics with concrete domains and general TBoxes, Open answer set programming for the semantic web, Matching in Hybrid Terminologies, ABox abduction in the description logic \(\mathcal{ALC}\), Deciding expressive description logics in the framework of resolution, Automata-Based Axiom Pinpointing, Individual Reuse in Description Logic Reasoning, Reasoning on UML class diagrams, A tableau decision procedure for \(\mathcal{SHOIQ}\), Reasoning in description logics by a reduction to disjunctive datalog, Data complexity of query answering in expressive description logics via tableaux, Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics, Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\), From description-logic programs to multi-context systems, Incremental classification of description logics ontologies, Multimedia enriched ontologies for video digital libraries, Automata-based axiom pinpointing, Optimized Description Logic Reasoning via Core Blocking, GeoMergeP: geographic information integration through enriched ontology matching, Automated Reasoning in $\mathcal{ALCQ}$ via SMT, Flexible software architectures for ontology-based information systems, Reasoning with rough description logics: An approximate concepts approach, Ontology Integration Using ε-Connections, Composing Modular Ontologies with Distributed Description Logics, Racer, Realizing Default Logic over Description Logic Knowledge Bases, Description Logics, Ontologies and Databases: The DL-Lite Approach, HTab: a Terminating Tableaux System for Hybrid Logic, CoLoSS: The Coalgebraic Logic Satisfiability Solver, Exploiting conjunctive queries in description logic programs, On the scalability of description logic instance retrieval, Formally verified tableau-based reasoners for a description logic, The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies, Combining interval-based temporal reasoning with general TBoxes, Decidability of SHIQ with complex role inclusion axioms
