The following pages link to FaCT++ (Q21815):
Displayed 50 items.
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- Decision procedures. An algorithmic point of view (Q518892) (← links)
- Structural subsumption and least common subsumers in a description logic with existential and number restrictions (Q817690) (← links)
- Symmetric blocking (Q897931) (← links)
- Data complexity of query answering in expressive description logics via tableaux (Q945056) (← links)
- Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503) (← links)
- Incremental classification of description logics ontologies (Q972428) (← links)
- Reasoning with rough description logics: An approximate concepts approach (Q1010135) (← links)
- Reasoning within expressive fuzzy rough description logics (Q1043323) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- OWL reasoning: subsumption test hardness and modularity (Q1655485) (← links)
- Possibilistic testing of OWL axioms against RDF data (Q1679656) (← links)
- The OWL reasoner evaluation (ORE) 2015 competition report (Q1694573) (← links)
- A resolution-based calculus for preferential logics (Q1799110) (← links)
- Bayesian ranking for strategy scheduling in automated theorem provers (Q2104545) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- GeoMergeP: geographic information integration through enriched ontology matching (Q2269089) (← links)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments (Q2303247) (← links)
- Model-theoretic inseparability and modularity of description logic ontologies (Q2351041) (← links)
- Formally verified tableau-based reasoners for a description logic (Q2351147) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Computing the least common subsumer w.r.t. a background terminology (Q2372193) (← links)
- Expressive probabilistic description logics (Q2389639) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Reasoning on UML class diagrams (Q2457652) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
- Effective method for detecting error causes from incoherent biological ontologies (Q2686869) (← links)
- : A Resolution-Based Prover for Multimodal K (Q2817940) (← links)
- A Refined Tableau Calculus with Controlled Blocking for the Description Logic $\mathcal{SHOI}$ (Q2851945) (← links)
- Intelligent Tableau Algorithm for DL Reasoning (Q2851951) (← links)
- Hybrid Logics and Ontology Languages (Q2867944) (← links)
- Extended Caching, Backjumping and Merging for Expressive Description Logics (Q2908522) (← links)
- Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic (Q3016275) (← links)
- OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265) (← links)
- A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic (Q3523171) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- (Q3624113) (← links)
- (Q3624118) (← links)
- Usability Issues in Description Logic Knowledge Base Completion (Q3630233) (← links)
- Extracting Modules from Ontologies: A Logic-Based Approach (Q3631357) (← links)
- Composing Modular Ontologies with Distributed Description Logics (Q3631365) (← links)
- Description Logics (Q3638996) (← links)
- Sound Global State Caching for ALC with Inverse Roles (Q3648732) (← links)
- SAT vs. Translation Based decision procedures for modal logics: a comparative evaluation (Q4443408) (← links)