FaCT++

swMATH9836MaRDI QIDQ21815

No author found.

Related Items (62)

Computing the least common subsumer w.r.t. a background terminology ⋮ Extended Caching, Backjumping and Merging for Expressive Description Logics ⋮ Expressive probabilistic description logics ⋮ OWL reasoning: subsumption test hardness and modularity ⋮ Possibilistic testing of OWL axioms against RDF data ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Symmetric blocking ⋮ The OWL reasoner evaluation (ORE) 2015 competition report ⋮ Effective method for detecting error causes from incoherent biological ontologies ⋮ Unnamed Item ⋮ Unnamed Item ⋮ ABox abduction in the description logic \(\mathcal{ALC}\) ⋮ A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic ⋮ Individual Reuse in Description Logic Reasoning ⋮ Data Management and Query Processing in Semantic Web Databases ⋮ Reasoning on UML class diagrams ⋮ Consequence-based and fixed-parameter tractable reasoning in description logics ⋮ Verified Decision Procedures for Modal Logics. ⋮ Optimizing terminological reasoning for expressive description logics ⋮ 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 ⋮ Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) ⋮ Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) ⋮ Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic ⋮ Decision procedures. An algorithmic point of view ⋮ Incremental classification of description logics ontologies ⋮ InKreSAT: Modal Reasoning via Incremental Reduction to SAT ⋮ On the Properties of Metamodeling in OWL ⋮ GeoMergeP: geographic information integration through enriched ontology matching ⋮ An overview of tableau algorithms for description logics ⋮ Automated Reasoning in $\mathcal{ALCQ}$ via SMT ⋮ (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge ⋮ Coalgebraic Hybrid Logic ⋮ A resolution-based calculus for preferential logics ⋮ Reasoning with rough description logics: An approximate concepts approach ⋮ SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation ⋮ Usability Issues in Description Logic Knowledge Base Completion ⋮ Extracting Modules from Ontologies: A Logic-Based Approach ⋮ Composing Modular Ontologies with Distributed Description Logics ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ : A Resolution-Based Prover for Multimodal K ⋮ Description Logics in Multimedia Reasoning ⋮ Description Logics ⋮ OntoDLV: An ASP-based System for Enterprise Ontologies ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver ⋮ Sound Global State Caching for ALC with Inverse Roles ⋮ An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ ⋮ Reasoning within expressive fuzzy rough description logics ⋮ A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ ⋮ Intelligent Tableau Algorithm for DL Reasoning ⋮ Bayesian ranking for strategy scheduling in automated theorem provers ⋮ Hybrid Logics and Ontology Languages ⋮ Model-theoretic inseparability and modularity of description logic ontologies ⋮ Formally verified tableau-based reasoners for a description logic ⋮ A goal-directed decision procedure for hybrid PDL ⋮ HermiT: an OWL 2 reasoner ⋮ Clausal resolution in a logic of rational agency ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies ⋮ Structural subsumption and least common subsumers in a description logic with existential and number restrictions

This page was built for software: FaCT++