Pellet

swMATH7019MaRDI QIDQ19082FDOQ19082

Author name not available (Why is that?)

Cited In (68)

• A Genetic Algorithm for Optimization of a Relational Knapsack Problem with Respect to a Description Logic Knowledge Base
• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
• Database Technologies for RDF
• Automated reasoning in \(\mathcal{ALCQ}\) via SMT
• Service Specification and Matchmaking Using Description Logic
• Ontology and time evolution of obligations and prohibitions using semantic web technology
• Role Conjunctions in Expressive Description Logics
• Evaluation of Ontologies and DL Reasoners
• OntCheck: an ontology-driven static correctness checking tool for component-based models
• HermiT: an OWL 2 reasoner
• Enabling collaboration on semiformal mathematical knowledge by semantic web integration
• On the Properties of Metamodeling in OWL
• Incremental classification of description logics ontologies
• CoLoSS: The Coalgebraic Logic Satisfiability Solver
• A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
• Optimized description logic reasoning via core blocking
• Intelligent Tableau Algorithm for DL Reasoning
• Description Logics
• Memory-limited model-based diagnosis
• Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
• Individual Reuse in Description Logic Reasoning
• Coalgebraic Hybrid Logic
• Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
• OntoDLV: An ASP-based System for Enterprise Ontologies
• Extending soft sets with description logics
• Evaluation of automatic generation of basic stories
• Hybrid logics and ontology languages
• Reasoning with nominal schemas through absorption
• Representation and monitoring of commitments and norms using OWL
• Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
• Reasoning in Description Logics: Basics, Extensions, and Relatives
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Optimized Reasoning in Description Logics Using Hypertableaux
• A hybrid method for probabilistic satisfiability
• Intelligent decision-making for a smart home environment with multiple occupants
• Putting ABox updates into action
• Conjunctive query answering for the description logic SHIQ
• Tableau reasoning for description logics and its extension to probabilities
• OWL reasoning: subsumption test hardness and modularity
• The OWL reasoner evaluation (ORE) 2015 competition report
• An access control language based on term rewriting and description logic
• Reasoning with rough description logics: An approximate concepts approach
• (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)
• Reasoning within expressive fuzzy rough description logics
• Automata-based axiom pinpointing
• Improving software product line using an ontological approach
• Optimizing terminological reasoning for expressive description logics
• Ontologies and Databases: The DL-Lite Approach
• Inconsistency-tolerant reasoning with OWL DL
• SHIP - A Logic-Based Language and Tool to Program Smart Environments
• Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!
• Semantic decision making using ontology-based soft sets
• Reasoning in description logics by a reduction to disjunctive datalog
• Consequence-based and fixed-parameter tractable reasoning in description logics
• Enhancing probabilistic model checking with ontologies
• A goal-directed decision procedure for hybrid PDL
• Data Management and query processing in semantic web databases.
• Distributed Parameter Learning for Probabilistic Ontologies
• PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
• Effective method for detecting error causes from incoherent biological ontologies
• Efficient description logic reasoning in Prolog: The DLog system
• Practical reasoning with qualified number restrictions: a hybrid Abox calculus for the description logic \({\mathcal{SHQ}}\).
• OntoDebug: interactive ontology debugging plug-in for Protégé
• Semantic operations of multiple soft sets under conflict
• A formal model of semantic computing
• Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)
• Composing Modular Ontologies with Distributed Description Logics
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies

This page was built for software: Pellet