Ontology of Card Sleights

2019 ◽  
pp. 1-18
Author(s):  
Aaron Sterling
Keyword(s):  
Description Logic ◽  
Design Criteria ◽  
Formal Ontology ◽  
Basic Formal Ontology ◽  
Web Ontology Language ◽  
Ontology Language ◽  
And Performance ◽  
Machine Readable ◽  
The Web

We present a machine-readable movement writing for sleightof-hand moves with cards - a "Labanotation of card magic." This scheme of movement writing contains 440 categories of motion, and appears to taxonomize all card sleights that have appeared in over 1500 publications. The movement writing is axiomatized in SROIQ(D) Description Logic, and collected formally as an Ontology of Card Sleights, a computational ontology that extends the Basic Formal Ontology and the Information Artifact Ontology. The Ontology of Card Sleights is implemented in OWL DL, a Description Logic fragment of the Web Ontology Language. While ontologies have historically been used to classify at a less granular level, the algorithmic nature of card tricks allows us to transcribe a performer's actions step by step. We conclude by discussing design criteria we have used to ensure the ontology can be accessed and modified with a simple click-and-drag interface. This may allow database searches and performance transcriptions by users with card magic knowledge, but no ontology background.

scholarly journals Overview and Utilization of the NCI Thesaurus

2004 ◽  
Vol 5 (8) ◽  
pp. 648-654 ◽  
Author(s):  
Gilberto Fragoso ◽  
Sherri de Coronado ◽  
Margaret Haber ◽  
Frank Hartel ◽  
Larry Wright
Keyword(s):  
National Cancer Institute ◽  
Description Logic ◽  
Biological Processes ◽  
Gene Products ◽  
Collaborative Effort ◽  
Web Ontology Language ◽  
Ontology Language ◽  
File Formats ◽  
History Of ◽  
The Web

The NCI Thesaurus is a reference terminology covering areas of basic and clinical science, built with the goal of facilitating translational research in cancer. It contains nearly 110 000 terms in approximately 36000 concepts, partitioned in 20 subdomains, which include diseases, drugs, anatomy, genes, gene products, techniques, and biological processes, among others, all with a cancer-centric focus in content, and originally designed to support coding activities across the National Cancer Institute. Each concept represents a unit of meaning and contains a number of annotations, such as synonyms and preferred name, as well as annotations such as textual definitions and optional references to external authorities. In addition, concepts are modelled with description logic (DL) and defined by their relationships to other concepts; there are currently approximately 90 types of named relations declared in the terminology. The NCI Thesaurus is produced by the Enterprise Vocabulary Services project, a collaborative effort between the NCI Center for Bioinformatics and the NCI Office of Communications, and is part of the caCORE infrastructure stack (http://ncicb.nci.nih.gov/NCICB/core). It can be accessed programmatically through the open caBIO API and browsed via the web (http://nciterms.nci.nih.gov). A history of editing changes is also accessible through the API. In addition, the Thesaurus is available for download in various file formats, including OWL, the web ontology language, to facilitate its utilization by others.

Rule-Based OWL Ontology Reasoning Systems

2010 ◽  
pp. 124-148 ◽  
Author(s):  
Georgios Meditskos ◽  
Nick Bassiliades
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Formal Semantics ◽  
Web Ontology Language ◽  
Rule Engine ◽  
Basic Principles ◽  
Rule Based ◽  
Ontology Language ◽  
Open Nature ◽  
The Web

This chapter is focused on the basic principles behind the utilization of rules in order to perform reasoning about the Web Ontology Language (OWL), a Description Logic-based language that is the W3C recommendation for creating and sharing ontologies in the Semantic Web. More precisely, we elaborate on the entailment-based OWL reasoning (EBOR) paradigm, which is based on the utilization of RDF/ RDFS and OWL entailment rules that run on a rule engine, applying the formal semantics of the ontology language. To this end, seven EBOR systems are described and compared, analyzing the different approaches. Despite the closed rule environment, which comes in contrast with the open nature of the Semantic Web, and the fact that OWL semantics are partially mapped into rules, the rule-based OWL reasoning paradigm can give great potentials in the Semantic Web, enabling the utilization of rule engines on top of ontology information.

scholarly journals Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

2015 ◽  
Vol 54 ◽  
pp. 535-592 ◽  
Author(s):  
Andreas Steigmiller ◽  
Birte Glimm
Keyword(s):  
Description Logic ◽  
Description Logics ◽  
The Other ◽  
Web Ontology Language ◽  
Ontology Language ◽  
Specific Description ◽  
Wide Range ◽  
Detailed Evaluation ◽  
Logic Reasoning ◽  
The Web

Nowadays, saturation-based reasoners for the OWL EL profile of the Web Ontology Language are able to handle large ontologies such as SNOMED very efficiently. However, it is currently unclear how saturation-based reasoning procedures can be extended to very expressive Description Logics such as SROIQ--the logical underpinning of the current and second iteration of the Web Ontology Language. Tableau-based procedures, on the other hand, are not limited to specific Description Logic languages or OWL profiles, but even highly optimised tableau-based reasoners might not be efficient enough to handle large ontologies such as SNOMED. In this paper, we present an approach for tightly coupling tableau- and saturation-based procedures that we implement in the OWL DL reasoner Konclude. Our detailed evaluation shows that this combination significantly improves the reasoning performance for a wide range of ontologies.

scholarly journals A Decidable Extension of SROIQ with Complex Role Chains and Unions

2013 ◽  
Vol 47 ◽  
pp. 809-851 ◽  
Author(s):  
M. Mosurovic ◽  
N. Krdzavac ◽  
H. Graves ◽  
M. Zakharyaschev
Keyword(s):  
Description Logic ◽  
Web Ontology Language ◽  
Ontology Language ◽  
Tableau Algorithm ◽  
Right Hand ◽  
The Web

We design a decidable extension of the description logic SROIQ underlying the Web Ontology Language OWL 2. The new logic, called SR+OIQ, supports a controlled use of role axioms whose right-hand side may contain role chains or role unions. We give a tableau algorithm for checking concept satisfiability with respect to SR+OIQ ontologies and prove its soundness, completeness and termination.

PEER-TO-PEER REASONING FOR INTERLINKED ONTOLOGIES

2010 ◽  
Vol 04 (01) ◽  
pp. 27-58 ◽  
Author(s):  
ANNE SCHLICHT ◽  
HEINER STUCKENSCHMIDT
Keyword(s):  
Semantic Web ◽  
Description Logic ◽  
Distributed Query Processing ◽  
Distributed Reasoning ◽  
Distributed Query ◽  
Ontology Language ◽  
Almost All ◽  
Machine Readable ◽  
Logic Reasoning ◽  
The Web

The Semantic Web is commonly perceived as a web of partially-interlinked machine readable data. This data is inherently distributed and resembles the structure of the web in terms of resources being provided by different parties at different physical locations. A number of infrastructures for storing and querying distributed semantic web data, primarily encoded in RDF have been developed. While there are first attempts for integrating RDF Schema reasoning into distributed query processing, almost all the work on description logic reasoning as a basis for implementing inference in the Web Ontology Language OWL still assumes a centralized approach where the complete terminology has to be present on a single system and all inference steps are carried out on this system. We have designed and implemented a distributed reasoning method that preserves soundness and completeness of reasoning under the original OWL import semantics and has beneficial properties regarding parallel computation and overhead caused by communication effort and additional derivations. The method is based on sound and complete resolution methods for the description logic [Formula: see text] that we modify to work in a distributed setting.

scholarly journals BFO-based ontology enhancement to promote interoperability in BIM

2021 ◽  
pp. 1-27
Author(s):  
Justine Flore Tchouanguem ◽  
Mohamed Hedi Karray ◽  
Bernard Kamsu Foguem ◽  
Camille Magniont ◽  
F. Henry Abanda ◽  
...  
Keyword(s):  
Added Value ◽  
Formal Ontology ◽  
Basic Formal Ontology ◽  
Intelligent Environments ◽  
Building Information Modelling ◽  
Industry Foundation Classes ◽  
Additional Information ◽  
Ontology Language ◽  
Building Information ◽  
The Web

Building Information Modelling (BIM) is a process for managing construction project information in such a way as to provide a basis for enhanced decision-making and for collaboration in a construction supply chain. One impediment to the uptake of BIM is the limited interoperability of different BIM systems. To overcome this problem, a set of Industry Foundation Classes (IFC) has been proposed as a standard for the construction industry. Building on IFC, the ifcOWL ontology was developed in order to facilitate representation of building data in a consistent fashion across the Web by using the Web Ontology Language (OWL). This study presents a critical analysis of the ifcOWL ontology and of the associated interoperability issues. It shows how these issues can be resolved by using Basic Formal Ontology (ISO/IEC 21838-2) as top-level architecture. A set of competency questions is used as the basis for comparison of the original ifcOWL with the enhanced ontology, and the latter is used to align with a second ontology – the ontology for building intelligent environments (DOGONT) – in order to demonstrate the added value derived from BFO by showing how querying the enhanced ifcOWL yields useful additional information.

Modular Ontology Modeling: A Tutorial

2020 ◽  
Author(s):  
Cogan Shimizu ◽  
Pascal Hitzler ◽  
Adila Krisnadhi
Keyword(s):  
Design Patterns ◽  
Ontology Engineering ◽  
Web Ontology Language ◽  
Ontology Language ◽  
Ontology Modeling ◽  
Ontology Design ◽  
Modular Ontology ◽  
The Web

We provide an in-depth example of modular ontology engineering with ontology design patterns. The style and content of this chapter is adapted from previous work and tutorials on Modular Ontology Modeling. It offers expanded steps and updated tool information. The tutorial is largely self-contained, but assumes that the reader is familiar with the Web Ontology Language OWL; however, we do briefly review some foundational concepts. By the end of the tutorial, we expect the reader to have an understanding of the underlying motivation and methodology for producing a modular ontology.

A Good Role Model for Ontologies

2012 ◽  
pp. 225-235 ◽  
Author(s):  
Michael Pradel ◽  
Jakob Henriksson ◽  
Uwe Aßmann
Keyword(s):  
Role Models ◽  
Role Model ◽  
Building Blocks ◽  
Role Modeling ◽  
Web Ontology Language ◽  
Existing Building ◽  
Ontology Language ◽  
Ontology Languages ◽  
The Web

Although ontologies are gaining more and more acceptance, they are often not engineered in a component-based manner due to, among various reasons, a lack of appropriate constructs in current ontology languages. This hampers reuse and makes creating new ontologies from existing building blocks difficult. We propose to apply the notion of roles and role modeling to ontologies and present an extension of the Web Ontology Language OWL for this purpose. Ontological role models allow for clearly separating different concerns of a domain and constitute an intuitive reuse unit.

Web Intelligence

Big Data ◽  
2016 ◽  
pp. 711-733 ◽  
Author(s):  
Jafreezal Jaafar ◽  
Kamaluddeen Usman Danyaro ◽  
M. S. Liew
Keyword(s):  
Big Data ◽  
Knowledge Base ◽  
Data Model ◽  
Performance Comparison ◽  
Web Ontology Language ◽  
Web Intelligence ◽  
Knowledge Based ◽  
Ontology Language ◽  
And Performance ◽  
Fuzzy Knowledge

This chapter discusses about the veracity of data. The veracity issue is the challenge of imprecision in big data due to influx of data from diverse sources. To overcome this problem, this chapter proposes a fuzzy knowledge-based framework that will enhance the accessibility of Web data and solve the inconsistency in data model. D2RQ, protégé, and fuzzy Web Ontology Language applications were used for configuration and performance. The chapter also provides the completeness fuzzy knowledge-based algorithm, which was used to determine the robustness and adaptability of the knowledge base. The result shows that the D2RQ is more scalable with respect to performance comparison. Finally, the conclusion and future lines of the research were provided.

Sign in / Sign up

Export Citation Format

Share Document