Rule-Based OWL Modeling with ROWLTab Protégé Plugin

@inproceedings{Sarker2017RuleBasedOM,
  title={Rule-Based OWL Modeling with ROWLTab Prot{\'e}g{\'e} Plugin},
  author={Md. Kamruzzaman Sarker and Adila Alfa Krisnadhi and David Carral and Pascal Hitzler},
  booktitle={ESWC},
  year={2017}
}
It has been argued that it is much easier to convey logical statements using rules rather than OWL (or description logic (DL)) axioms. Based on recent theoretical developments on transformations between rules and DLs, we have developed ROWLTab, a Protege plugin that allows users to enter OWL axioms by way of rules; the plugin then automatically converts these rules into OWL 2 DL axioms if possible, and prompts the user in case such a conversion is not possible without weakening the semantics of… Expand
Expressibility of OWL Axioms with Patterns
TLDR
It is hypothesize that most of the axioms in existing ontologies could be expressed semantically in terms of simple patterns like these, which would mean that more complex patterns can be used very sparingly, and the findings confirm this hypothesis. Expand
Semantic Expressibility of OWL Ontologies
The high expressivity of the Web Ontology Language (OWL) makes it possible to describe complex relationships between classes, properties, and individuals in an ontology. However, this highExpand
On the Roles of Logical Axiomatizations for Ontologies
TLDR
This paper focuses on logic-based knowledge representation, which has been a mainstay of the Artificial Intelligence field since its inception in the 1950s and is the foundation for information representation languages on the World Wide Web, and thus for the Semantic Web. Expand
The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments
TLDR
By conducting a between-group empirical study, involving 60 novice participants, it is found that DL is just as effective as MOS for people’s understanding of axioms, and the belief that MOS is more effective than DL, at least for these types of task, is unfounded. Expand
A Method for Automatically Generating Schema Diagrams for OWL Ontologies
TLDR
This paper presents a method for programmatically generating a schema diagram from an OWL file and evaluates its ability to generate schema diagrams similar to manually drawn schema diagrams and shows that it outperforms VOWL and OWLGrEd. Expand
Improving comprehension of knowledge representation languages: A case study with Description Logics
TLDR
This work looks at the difficulties experienced with Description Logics; and in particular with the widely-used Manchester OWL Syntax, which employs natural language keywords. Expand
Towards a Comprehensive Modular Ontology IDE and Tool Suite
TLDR
This PhD project explores the development of a comprehensive modular ontology IDE and tool suite that guides engineers through best practices and promote ontology design pattern discovery, sharing, and reuse. Expand
Modular Ontologies as a Bridge Between Human Conceptualization and Data
TLDR
In order to more effectively preserve this notion of human conceptualization, an ontology should be designed with modularity and extensibility in mind, and may act as a bridge between human conceptualizations and data. Expand
A Comparison of the Cognitive Difficulties Posed by SPARQL Query Constructs
TLDR
No significant differences were found in terms of the response time and accuracy with which participants could answer questions expressed in either a declarative or navigational form of SPARQL, but UNION did take significantly longer to comprehend than both braces and vertical line in property paths; with braces being faster than vertical line. Expand
Towards Integrating Attribute-Based Access Control into Ontologies
  • B. Dundua, Mikheil Rukhaia
  • Computer Science
  • 2019 IEEE 2nd Ukraine Conference on Electrical and Computer Engineering (UKRCON)
  • 2019
TLDR
A modern approach, attribute-based access control (ABAC), which has been proposed in order to overcome limitations of traditional models is proposed and how ABAC can be integrated into ontology languages is investigated. Expand
...
1
2
...

References

SHOWING 1-10 OF 26 REFERENCES
Modeling OWL with Rules: The ROWL Protege Plugin
TLDR
ROWL, a Protege plugin that allows users to enter OWL axioms by way of rules; the plugin then automatically converts these rules into OWL DL axiomatic if possible, and prompts the user in case such a conversion is not possible without weakening the semantics of the rule. Expand
Description Logic Rules
TLDR
It is shown that the DL SROIQ --the basis for the ongoing standardisation of OWL 2 --can completely internalise DL rules, and DL rules enable us to significantly extend the tractable DLs EL++ and DLP. Expand
Extending Description Logic Rules
TLDR
A set of first order logic rules, C-Rules, are formally defined, which can be expressed within OWL extended with role conjunction, and it is shown that the use of nominal schemas results in even broader coverage. Expand
How to reason with OWL in a logic programming system
TLDR
This paper gives a detailed account of how and to what extent OWL DL can be employed in standard logic programming systems, and derives a novel, simplified characterization of the supported fragment of OWLDL. Expand
A better uncle for OWL: nominal schemas for integrating rules and ontologies
TLDR
It is shown that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and a novel tractable language SROELV3(∩, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL is identified. Expand
Reconciling OWL and Non-monotonic Rules for the Semantic Web
We propose a description logic extending SROIQ (the description logic underlying OWL 2 DL) and at the same time encompassing some of the most prominent monotonic and nonmonotonic rule languages, inExpand
OWL and Rules
TLDR
Which kind of rules can be modeled in the current version of OWL, and how OWL can be extended to incorporate rules are shown. Expand
Hypertableau Reasoning for Description Logics
TLDR
This work presents a novel reasoning calculus for the description logic SHOIQ+--a knowledge representation formalism with applications in areas such as the SemanticWeb and shows significant performance improvements over state-of-the-art reasoners on several well-known ontologies. Expand
Reasoning with Nominal Schemas through Absorption
TLDR
This work extends the well-known optimisation of absorption as well as the standard tableau calculus to directly handle the (absorbed) nominal schema axioms and implements the resulting extension ofstandard tableau calculi in the novel reasoning system Konclude and presents further optimisations. Expand
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles
TLDR
It is shown that occurrences of the universal quantifier in the left-hand side of general concept inclusions can be rewritten into EL axioms under certain circumstances, and this rewriting makes it possible to reason over corresponding extensions of EL and Horn-SROIQ using standard reasoners. Expand
...
1
2
3
...