Pellet
From MaRDI portal
swMATH7019MaRDI QIDQ19082FDOQ19082
Author name not available (Why is that?)
Official website: https://github.com/stardog-union/pellet
Cited In (only showing first 100 items - show all)
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- HermiT: an OWL 2 reasoner
- On the Properties of Metamodeling in OWL
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Extending soft sets with description logics
- A hybrid method for probabilistic satisfiability
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- HiLog
- C-SPARQL
- KAON
- 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
- 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
- Optimizing terminological reasoning for expressive description logics
- Saner
- CLProver
- HgMUS
- TuCSoN
- Reasoning in description logics by a reduction to disjunctive datalog
- A goal-directed decision procedure for hybrid PDL
- Efficient description logic reasoning in Prolog: The DLog system
- OntoDebug: interactive ontology debugging plug-in for Protégé
- SHIP -- a logic-based language and tool to program smart environments
- Intelligent tableau algorithm for DL reasoning
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
This page was built for software: Pellet
