Pellet
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Reasoning with rough description logics: An approximate concepts approach
- Reasoning within expressive fuzzy rough description logics
- OilEd
- HiLog
- C-SPARQL
- KAON
- DAML+OIL
- UDDI
- OntoDebug: interactive ontology debugging plug-in for Protégé
- Tableau reasoning for description logics and its extension to probabilities
- OWL reasoning: subsumption test hardness and modularity
- foaf
- The OWL reasoner evaluation (ORE) 2015 competition report
- LAD
- GtkMathView
- jsMath
- ROADRUNNER
- PITA
- CoLoSS
- OntCheck
- NNexus
- SPARQL
- TATL
- STEX+
- Enhancing probabilistic model checking with ontologies
- Formulator MathML
- Proclets
- Memory-limited model-based diagnosis
- FaCT++
- Racer
- KAON2
- DLog
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Jena
- A formal model of semantic computing
- A goal-directed decision procedure for hybrid PDL
- HermiT: an OWL 2 reasoner
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- Reasoning with nominal schemas through absorption
- Inconsistency-tolerant reasoning with OWL DL
- Improving software product line using an ontological approach
- Ltur
- Fuzzydl
- OntCheck: an ontology-driven static correctness checking tool for component-based models
- nSPARQL
- SATLIB Benchmark Suite
- Cool
- Pengines
- HermiT
- OpenRuleBench
- Konclude
- CEL
- COROR
- TrOWL
- Chainsaw
- DReW
- Optimizing terminological reasoning for expressive description logics
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Reasoning in description logics by a reduction to disjunctive datalog
- FAMIX
- (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
- swrl
- PGSolver
- SHIP
- Snort
- Effective method for detecting error causes from incoherent biological ontologies
- LUBM
- DRAGO
- Distributed Parameter Learning for Probabilistic Ontologies
- GXL
- Intelligent tableau algorithm for DL reasoning
- Just
- Hybrid logics and ontology languages
- Protege
- MnM
- PAGOdA
- RacerPro
- SHOP2
- Intelligent decision-making for a smart home environment with multiple occupants
- Representation and monitoring of commitments and norms using OWL
- An access control language based on term rewriting and description logic
- Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
- Enabling collaboration on semiformal mathematical knowledge by semantic web integration
- Hydrowl
- VariaMos
- FeatureIDE
- VERL
- PR-OWL
- Efficient description logic reasoning in Prolog: The DLog system
- OntoDLV: An ASP-based System for Enterprise Ontologies
- PolyLib
- Ontology and time evolution of obligations and prohibitions using semantic web technology
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
- BioPortal
- DeLorean
- ELepHant
- JFact
- Snorocket
- ELK
This page was built for software: Pellet
