The following pages link to FaCT++ (Q21815):
Displaying 16 items.
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← 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)
- 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)
- GeoMergeP: geographic information integration through enriched ontology matching (Q2269089) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) (Q2510119) (← links)
- Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge (Q4957188) (← links)
