Pellet
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Intelligent tableau algorithm for DL reasoning
- Efficient description logic reasoning in Prolog: The DLog system
- A hybrid method for probabilistic satisfiability
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- Extending soft sets with description logics
- On the Properties of Metamodeling in OWL
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- SHIP -- a logic-based language and tool to program smart environments
- OntoDebug: interactive ontology debugging plug-in for Protégé
- HiLog
- OilEd
- C-SPARQL
- KAON
- DAML+OIL
- UDDI
- foaf
- LAD
- GtkMathView
- jsMath
- ROADRUNNER
- CoLoSS
- PITA
- OntCheck
- NNexus
- SPARQL
- TATL
- STEX+
- Formulator MathML
- Proclets
- DLog
- FaCT++
- KAON2
- Racer
- Jena
- Fuzzydl
- Ltur
- Cool
- nSPARQL
- SATLIB Benchmark Suite
- CEL
- Chainsaw
- COROR
- HermiT
- DReW
- Konclude
- Pengines
- OpenRuleBench
- FAMIX
- TrOWL
- PGSolver
- SHIP
- Snort
- swrl
- DRAGO
- LUBM
- GXL
- Just
- MnM
- Protege
- PAGOdA
- RacerPro
- HermiT: an OWL 2 reasoner
- PolyLib
- VERL
- DeLorean
- LIGHT
- SHOP2
- Hydrowl
- FeatureIDE
- VariaMos
- PR-OWL
- BioPortal
- ELepHant
- ELK
- JFact
- Ontop
- Snorocket
- WSReasoner
- Swoop
- MERGEXPLAIN
- OntoDebug
- ORE
- Swoogle
- Binder
- DEX
- DBpedia
- NoHR
- Wikipedia Miner
- EL2MCS
- QUICKXPLAIN
- KL-ONE
- OntoDLV
- Saner
- CLProver
- HgMUS
- TuCSoN
- Optimizing terminological reasoning for expressive description logics
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
This page was built for software: Pellet
