FaCT++ - MaRDI portal

swMATH9836MaRDI QIDQ21815FDOQ21815

Author name not available (Why is that?)

Cited In (62)

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

This page was built for software: FaCT++