swMATH9836MaRDI QIDQ21815FDOQ21815
Author name not available (Why is that?)
Official website: http://owl.man.ac.uk/factplusplus/
Cited In (only showing first 100 items - show all)
- HermiT: an OWL 2 reasoner
- On the Properties of Metamodeling in OWL
- Extended caching, backjumping and merging for expressive description logics
- Reasoning on UML class diagrams
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Data complexity of query answering in expressive description logics via tableaux
- Modular reuse of ontologies: theory and practice
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Conjunctive query answering for the description logic SHIQ
- Reasoning with rough description logics: An approximate concepts approach
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- C-SPARQL
- KAON
- CoLoSS
- PITA
- Pellet
- SPARQL
- TATL
- Reasoning within expressive fuzzy rough description logics
- PROMPT
- LoTREC
- QBFLIB
- KAON2
- Racer
- Jena
- Fuzzydl
- Cool
- nSPARQL
- SATLIB Benchmark Suite
- CEL
- Chainsaw
- COROR
- HermiT
- DReW
- HTab
- Konclude
- PVSio
- Spartacus
- TrOWL
- swrl
- DRAGO
- LUBM
- Protege
- HyLoRes
- MSPASS
- RacerPro
- Sonic
- TWB
- PolyLib
- VERL
- DeLorean
- LIGHT
- MyStoryPlayer
- OVID
- Ratsnake
- BioPortal
- ELepHant
- ELK
- TopBraid
- JFact
- Snorocket
- InKreSAT
- Jess
- WSReasoner
- Swoop
- MERGEXPLAIN
- OntoDebug
- C32SAT
- QAGen
- Z34Bio
- Turtle
- ARQ
- NoHR
- HGen
- leanK
- NASA PVS
- ICOM
- KL-ONE
- OntoDLV
- BDDTab
- SableCC
- Optimizing terminological reasoning for expressive description logics
- BayesOWL
- CLProver
- HgMUS
- TuCSoN
- Expressive probabilistic description logics
- 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
- Data Management and query processing in semantic web databases.
- An overview of tableau algorithms for description logics
- Model-theoretic inseparability and modularity of description logic ontologies
- Decision procedures. An algorithmic point of view
- Intelligent tableau algorithm for DL reasoning
- InKreSAT: modal reasoning via incremental reduction to SAT
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Sound global state caching for ALC with inverse roles
- Bayesian ranking for strategy scheduling in automated theorem provers
- LARS
This page was built for software: FaCT++
