Pellet: A practical OWL-DL reasoner

No abstract is available for this paper.

• Publication year

  2007

• Venue

  Journal of Web Semantics

• Publication date

  2007-06-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/j.websem.2007.03.004
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Fusions of Description Logics and Abstract Description Systems

  2011cited by this paper
• OWL: Web Ontology Language

  2009cited by this paper
• Combining OWL ontologies using epsilon-Connections

  2006cited by this paper
• Optimizations for Answering Conjunctive ABox Queries

  2006cited by this paper
• Extending the SHOIQ(D) Tableaux with DL-safe Rules: First Results

  2006cited by this paper
• Description Logic Reasoning with Syntactic Updates

  2006cited by this paper
• From Wine to Water: Optimizing Description Logic Reasoning for Nominals

  2006cited by this paper
• Combination and Integration of Ontologies on the Semantic Web

  2005cited by this paper
• A Tableaux Decision Procedure for SHOIQ

  2005cited by this paper
• A Tool for Working with Web Ontologies

  2005cited by this paper
• Automatic Partitioning of OWL Ontologies Using E-Connections

  2005cited by this paper
• LUBM: A benchmark for OWL knowledge base systems

  2005cited by this paper
• AL-log: Integrating Datalog and Description Logics

  2004cited by this paper
• Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results

  2004cited by this paper
• A proposal for an owl rules language

  2004cited by this paper
• Efficient Reasoning with Range and Domain Constraints

  2004cited by this paper
• E-connections of abstract description systems

  2004cited by this paper
• Jena: implementing the semantic web recommendations

  2004cited by this paper
• Parsing owl dl: trees or triples?

  2004cited by this paper
• Distributed Description Logics: Assimilating Information from Peer Sources

  2003cited by this paper
• Reducing OWL Entailment to Description Logic Satisfability

  2003cited by this paper
• Cooking the Semantic Web with the OWL API

  2003cited by this paper
• Basic Description Logics

  2003cited by this paper
• The Description Logic Handbook: Theory, Implementation, and Applications

  2003cited by this paper
• The DIG Description Logic Interface

  2003cited by this paper
• Owl web ontology language guide

  2003cited by this paper
• Many-Dimensional Modal Logics: Theory and Applications

  2003cited by this paper
• Extending Datatype Support in Web Ontology Reasoning

  2002cited by this paper
• Querying the Semantic Web: A Formal Approach

  2002influential reference
• Optimised Reasoning for SHIQ

  2002cited by this paper
• An Overview of Tableau Algorithms for Description Logics

  2001cited by this paper
• Ontology Reasoning in the SHOQ(D) Description Logic

  2001cited by this paper
• Practical Reasoning for Very Expressive Description Logics

  2000cited by this paper
• An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics

  1999cited by this paper
• DL Systems Comparison

  1998cited by this paper
• An Epistemic Operator for Description Logics

  1998influential reference
• CARIN: A Representation Language Combining Horn Rules and Description Logics

  1996cited by this paper
• Description Logic Specification from the KRSS Effort (Draft)

  1993cited by this paper
• Implementation and Optimisation Techniques

  year unknowncited by this paper
• REPORT RAPPORT

  year unknowncited by this paper

• To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits

  2026cites this paper
• Personalized Hearing Loss Care Using SNOMED CT-Aligned Ontology and Random Forest Machine Learning: A Hybrid Decision-Support Framework

  2026cites this paper
• Structured Decomposition for LLM Reasoning: Cross-Domain Validation and Semantic Web Integration

  2026cites this paper
• Beyond GoodRelations: A Behaviouristic Ontological Approach for the WEB 3 Challenges

  2026cites this paper
• VGO: COVID-19 Virus Genomics Ontology for Semantic Annotation and Querying of Genome Sequence Data

  2026cites this paper
• Towards an Effective Extension of Activity Streams

  2026cites this paper
• DL-ReasonSuite: A Benchmark for Evaluating Description Logic Reasoning in Large Language Models

  2026cites this paper
• Ontology-Based Layered Hybrid AI-Driven Knowledge Model for Personalized E-Learning

  2026cites this paper
• Semantic reasoning and integration for automating predictive maintenance in smart facility management

  2026cites this paper
• Evaluating correctness, performance and energy footprint of semantic reasoners in mobile edge computing

  2026cites this paper
• Explaining Reasoning Results for Description Logic Ontologies (Invited Paper)

  2025cites this paper
• Context-Awareness and Interpretability of Rare Occurrences for Discovery and Formalization of Critical Failure Modes

  2025cites this paper
• OntView: What you See is What you Meant

  2025influential citation
• A fourfold pathogen reference ontology suite

  2025cites this paper
• An ontology-based approach to dynamic indoor fire emergency evacuation path planning with BIM integration

  2025cites this paper
• TICK: A Knowledge Processing Infrastructure for Cognitive Trust in Human–Robot Interaction

  2025cites this paper
• Testing Description Logic Reasoners (Extended Abstract)

  2025influential citation
• Development of A Trustworthy AI-supported Digital Twin Framework for Road Operation and Maintenance

  2025cites this paper
• A Circular Construction Product Ontology for End-of-Life Decision-Making

  2025cites this paper
• Modern Possibilities of Joint Application of Ontologies and Machine Learning for Working with Data

  2025cites this paper
• Model and service for privacy in decentralized online social networks

  2025cites this paper
• Occupant Activity Recognition in IoT-Enabled Buildings: A Temporal HTN Planning Approach

  2025cites this paper
• Ontologies for Smart Agriculture: A Path Toward Explainable AI—A Systematic Literature Review

  2025cites this paper
• An Abduction-Based Method for Explaining Non-Entailments of Semantic Matching

  2025cites this paper
• OmEGa(Ω): Ontology-based information extraction framework for constructing task-centric knowledge graph from manufacturing documents with large language model

  2025cites this paper
• Ontolearn-A Framework for Large-scale OWL Class Expression Learning in Python

  2025cites this paper
• Ontological approach towards discovering and recommending COVID-19 therapeutics, risk factors, and drug interactions

  2025cites this paper
• A semantic model for risk management in distributed agile software development environment

  2025cites this paper
• OntoGSN: An Ontology-Based Framework for Semantic Management and Extension of Assurance Cases

  2025cites this paper
• Ontology-based representation of quality assurance and inspection planning in construction

  2025cites this paper
• Formalizing-modelling-utilizing ontology: A semantic framework for adaptive stakeholder-specific urban digital twins in urban planning processes

  2025cites this paper
• FooDS: Ontology-based Knowledge Graphs for Forest Observatories

  2025cites this paper
• A Systematic Review of Ontologies in Human Nutrition: Methods, Applications, and Challenges With Preliminary Knowledge Graph Analysis

  2025cites this paper
• Toward a Vector-Based Representation of Dispositions

  2025cites this paper
• Development of a Space Constraint Management Ontology for Lean Construction: Enhancing Constraint Management in Steel Fabrication Projects

  2025cites this paper
• Knowledge-driven deep learning approaches for computer vision tasks: A survey

  2025cites this paper
• Semantic and LLM-Enhanced Data Integration for FAIR-Compliant B2B and B2G Ecosystems

  2025cites this paper
• A Core Ontology for Particle Accelerators: Interoperable Data and Workflows Across Facilities

  2025cites this paper
• A case-based reasoning and ontology-based hybrid recommender system for student orientation in higher education

  2025cites this paper
• Graph Matching via Multidimensional Embeddings: A Novel Approach for Complex Ontology Alignment

  2025cites this paper
• Fuzzy Ontologies in ERP Implementation Cost Estimation -A Literature Review

  2025cites this paper
• On the Potential of Logic and Reasoning in Neurosymbolic Systems Using OWL-Based Knowledge Graphs

  2025influential citation
• Development of a semantic structure for the composition of cognitive web services

  2025cites this paper
• Semantic Models of Performance Indicators: A Systematic Survey

  2025cites this paper
• An Ontological Knowledge-Driven Smart Contract Framework for Implicit Bridge Preservation Decision Making

  2025cites this paper
• Building Knowledge Graphs Towards a Global Food Systems Datahub

  2025cites this paper
• Children’s science language: a semantic arabic ontology approach

  2025cites this paper
• Robot Situation and Task Awareness Using Large Language Models and Ontologies

  2025cites this paper
• SemChain : A Blockchain-based semantic discovery on distributed resource directories for the Internet of Things

  2025cites this paper
• Representing Normative Regulations in OWL DL for Automated Compliance Checking Supported by Text Annotation

  2025cites this paper
• A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems

  2025cites this paper
• RePlanIT Ontology for Digital Product Passports of ICT: Laptops and Data Servers

  2025influential citation
• The ANthropological Notation Ontology (ANNO): A Core Ontology for Annotating Human Bones and Deriving Phenotypes

  2025cites this paper
• Ontological framework for high-level task replanning for autonomous robotic systems

  2025cites this paper
• Enhanced Multi-Source Information Fusion for Advanced Air Mobility Through Aibased Situation Assessment and Incorporating OSINT Data

  2025cites this paper
• From fragmented data to unified construction safety knowledge: A process-based ontology framework for safer work

  2025cites this paper
• Managing lifecycle of product information with an ontology-based knowledge framework

  2025cites this paper
• OntoBPR: An ontology-based framework for performing building permit reviews using standardized information containers

  2025cites this paper
• Ontological reasoning for automated tunnel defect diagnosis and root cause identification

  2025cites this paper
• An Ontology Based Method for Data Validation

  2025cites this paper
• Ontology Enabled Hybrid Modeling and Simulation

  2025cites this paper
• Ontology-based NLP tool for tracing software requirements and conceptual models: an empirical study

  2025cites this paper
• Reducing construction quality costs through ontology-based inspection planning

  2025cites this paper
• Automating Ontology Mapping in IT Service Management: A DOLCE and ITSMO Integration

  2025cites this paper
• Detecting and Fixing Inconsistencies in Large Knowledge Graphs*

  2025cites this paper
• Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

  2025cites this paper
• Next generation biobanking ontology: introducing–omics contextual data to biobanking ontology

  2025cites this paper
• A Concise Ontological Model of the Design and Optoelectronic Properties in the Quantum Cascade Laser Domain

  2025cites this paper
• Ontology-driven Threat Modeling Analysis of CPSs

  2025cites this paper
• Ontologies for the Reconfiguration of Domestic Living Environments: A Systematic Literature Review

  2025cites this paper
• SARGON2: Updating SARGON Ontology for Semantic Data Sharing in the Energy Domain

  2025cites this paper
• Leveraging rules on integrated 3D semantic city models for validating scenarios of urban evolution

  2025cites this paper
• Neural Reasoning for Robust Instance Retrieval in SHOIQ

  2025cites this paper
• Bridging BDI Multi-Agent Systems and the Semantic Web Through the Triples-to-Beliefs-to-Triples Paradigm

  2025cites this paper
• Language-Based Testing for Knowledge Graphs

  2025cites this paper
• OWLAPY: A Pythonic Framework for OWL Ontology Engineering

  2025cites this paper
• A semantic-based methodology for the management of document workflows in e-government: a case study for judicial processes

  2024cites this paper
• UMA ONTOLOGIA PARA APOIAR O ENSINO DE MATEMÁTICA BÁSICA COM USO DE ROBÓTICA EDUCACIONAL

  2024cites this paper
• Cultural Heritage Information Retrieval: Past, Present, and Future Trends

  2024cites this paper
• An Ontology for Value Awareness Engineering

  2024cites this paper
• DIMENSIONAL DISCOVERIES: UNVEILING THE POTENTIAL OF 3D HERITAGE POINT CLOUDS WITH A ROBUST ONTOLOGY FRAMEWORK

  2024cites this paper
• Real-Time Semantic Data Integration and Reasoning in Life- and Time-Critical Decision Support Systems

  2024cites this paper
• Developing an ontology of non-pharmacological treatment for emotional and mood disturbances in dementia

  2024cites this paper
• Coordinating virus research: The Virus Infectious Disease Ontology

  2024cites this paper
• MOODY: An ontology-driven framework for standardizing multi-objective evolutionary algorithms

  2024cites this paper
• Commonsense reasoning and automatic generation of IoT contextual knowledge: An Answer Set Programming approach

  2024cites this paper
• HKD-SHO: A hybrid smart home system based on knowledge-based and data-driven services

  2024cites this paper
• Combining Machine Learning and Ontology: A Systematic Literature Review

  2024cites this paper
• Argument Identification for Neuro-Symbolic Dispute Resolution in Scientific Peer Review

  2024cites this paper
• Ontological Representation of the Structure and Vocabulary of Modern Greek on the Protégé Platform

  2024cites this paper
• Cowl: Pushing OWL 2 over the Edge

  2024cites this paper
• A Fourfold Pathogen Reference Ontology Suite

  2024cites this paper
• An Ontology to Represent and Combine Multi-Disciplinary Design Knowledge for Lunar Habitat Design, Deployment, and Maintenance

  2024cites this paper
• An ontology-based approach of automatic compliance checking for structural fire safety requirements

  2024cites this paper
• Leveraging Ontologies for Handicraft Business Process Modeling: Application for the Pastry-Making Domain

  2024cites this paper
• Applying the LOT Methodology to Enhance the Cinematic Heritage Archives

  2024cites this paper
• Semantic Building Information Modeling: An empirical evaluation of existing tools

  2024cites this paper
• A behaviouristic semantic approach to blockchain-based e-commerce

  2024cites this paper
• Trustworthy digital twinning data platform for power infrastructure construction projects using blockchain and semantic web

  2024cites this paper
• HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic

  2024cites this paper