Function Semantic Representation (FSR): A Rule-Based Ontology for Product Functions

Author(s):  
Seung-Cheol Yang ◽  
Lalit Patil ◽  
Debasish Dutta

Defining or understanding a product in terms of its functions facilitates a wide variety of tasks such as design synthesis, modeling, and analysis. However, the lack of a semantically correct formal representation of product functions creates a barrier to their effective capture, exchange, and reuse. This paper presents Function Semantics Representation, a rule-based ontological formalism that is consistent with the Semantic Web standards to capture different components of a product function. In particular, the Semantic Web Rule Language is used to overcome limitations in using the basic Web Ontology Language ontology to explicitly capture advanced semantics essential to completely represent product functions. This enables support for an effective reasoning mechanism to develop and validate the product function (or functional model). We present examples that demonstrate consistency checking and the ability to retrieve functionally similar products from a repository.

2018 ◽  
Vol 2 ◽  
pp. e25614 ◽  
Author(s):  
Florian Pellen ◽  
Sylvain Bouquin ◽  
Isabelle Mougenot ◽  
Régine Vignes-Lebbe

Xper3 (Vignes Lebbe et al. 2016) is a collaborative knowledge base publishing platform that, since its launch in november 2013, has been adopted by over 2 thousand users (Pinel et al. 2017). This is mainly due to its user friendly interface and the simplicity of its data model. The data are stored in MySQL Relational DBs, but the exchange format uses the TDWG standard format SDD (Structured Descriptive DataHagedorn et al. 2005). However, each Xper3 knowledge base is a closed world that the author(s) may or may not share with the scientific community or the public via publishing content and/or identification key (Kopfstein 2016). The explicit taxonomic, geographic and phenotypic limits of a knowledge base are not always well defined in the metadata fields. Conversely terminology vocabularies, such as Phenotype and Trait Ontology PATO and the Plant Ontology PO, and software to edit them, such as Protégé and Phenoscape, are essential in the semantic web, but difficult to handle for biologist without computer skills. These ontologies constitute open worlds, and are expressed themselves by RDF triples (Resource Description Framework). Protégé offers vizualisation and reasoning capabilities for these ontologies (Gennari et al. 2003, Musen 2015). Our challenge is to combine the user friendliness of Xper3 with the expressive power of OWL (Web Ontology Language), the W3C standard for building ontologies. We therefore focused on analyzing the representation of the same taxonomic contents under Xper3 and under different models in OWL. After this critical analysis, we chose a description model that allows automatic export of SDD to OWL and can be easily enriched. We will present the results obtained and their validation on two knowledge bases, one on parasitic crustaceans (Sacculina) and the second on current ferns and fossils (Corvez and Grand 2014). The evolution of the Xper3 platform and the perspectives offered by this link with semantic web standards will be discussed.


2012 ◽  
Vol 8 (1) ◽  
pp. 1-16 ◽  
Author(s):  
Jae W. Hwang ◽  
Shmuel Rotenstreich

This paper presents a policy-based coordination model for team collaboration. Team collaboration requires an agreement that utilizes a negotiation protocol to find candidate teams and to decide on a collaboration partner. The decision relies on policies that are rules governing team situations in an organization. Contexts and rules allow reasoning about team situations. The authors describe a policy-based negotiation protocol. It introduces an ontology-based whiteboard component that uses the Semantic Web technologies such as Web Ontology Language (OWL), Semantic Web Rule Language (SWRL), and Semantic Query-enhanced Web Rule Language (SQWRL). The negotiation protocol facilitates whiteboards as a computational foundation for awareness of situations and policies, and it assists with the final decision using a measure based on the combination of rule-based queries and functions.


Author(s):  
Georgios Meditskos ◽  
Nick Bassiliades

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.


Author(s):  
Visotheary Ung ◽  
Pier Luigi Buttigieg

Climate change, habitat destruction, and myriad other ecological stressors will impact us all and have already contributed to what is being labeled the sixth wave of extinction (Ceballos et al. 2015, Régnier et al. 2015). As a countering force, conservation biology strives to identify those areas of the planet most worthy of protecting due to their unique natural value (Dudley and Stolton 2008). Despite their value, criticisms (Camillo and Peter 2011) have been leveled at 1) the social cost of maintaining protected status (Lele et al. 2010) and 2) instances of continued biodiversity decline despite protection regimes (Craigie et al. 2010, Dudley et al. 2014). At present, the selection and delimitation of protected areas is an intuitive and often subjective process, leading to ambiguities in the semantics behind and across their definitions. Thus, we propose that the application of ontological techniques to the ambiguities in protected area semantics is a timely contribution to conservation informatics. We hold that coherent semantic representation of the biogeographic areas which overlap protected areas (often designated empirically) will provide more efficient and standardized informatics, supporting research and decision-making processes. Our approach draws from comparative biogeography, which seeks to classify biogeographic areas based on their natural properties in a process known as bioregionalisation. In particular, we convert a cladogram of biogeographic areas (similar to cladogram of taxa) into a series of ontological classes, each corresponding to a monophyletic clade of areas. In this model, areas of endemism are treated as formal objects related by hierarchical relationships and constrained by the monophyly condition (Ung 2018). This approach unifies a model-theoretic view of endemism with the semantic web and therefore, offering new possibilities to communicate the biogeographic units conservation. We use semantic web standards (RDF and OWL) expressed through interoperable "Open Biological and Biomedical Ontology (OBO) Foundry" and Library resources to model areas of endemism as evolutionary entities for comparative biogeography. This aligns with current efforts in the OBO Foundry to extend their semantic coverage to the domains of Earth and ecosystem science. Due to our work’s heavy reliance on environmental semantics, we base our work on the Environment Ontology (ENVO), extending it with often confounded biogeographic entities including biogeographic areas, such as areas of endemism and endemic areas, as well as their relationships. Hence, we seek to provide a rigorous and simple framework that improves biogeographic analyses and interoperability between systems.


Sensors ◽  
2018 ◽  
Vol 18 (10) ◽  
pp. 3481 ◽  
Author(s):  
Zhaoyu Zhai ◽  
José-Fernán Martínez Ortega ◽  
Néstor Lucas Martínez ◽  
Pedro Castillejo

Web Ontology Language (OWL) is designed to represent varied knowledge about things and the relationships of things. It is widely used to express complex models and address information heterogeneity of specific domains, such as underwater environments and robots. With the help of OWL, heterogeneous underwater robots are able to cooperate with each other by exchanging information with the same meaning and robot operators can organize the coordination easier. However, OWL has expressivity limitations on representing general rules, especially the statement “If … Then … Else …”. Fortunately, the Semantic Web Rule Language (SWRL) has strong rule representation capabilities. In this paper, we propose a rule-based reasoner for inferring and providing query services based on OWL and SWRL. SWRL rules are directly inserted into the ontologies by several steps of model transformations instead of using a specific editor. In the verification experiments, the SWRL rules were successfully and efficiently inserted into the OWL-based ontologies, obtaining completely correct query results. This rule-based reasoner is a promising approach to increase the inference capability of ontology-based models and it achieves significant contributions when semantic queries are done.


2020 ◽  
Vol 16 (1) ◽  
pp. 87-115
Author(s):  
Nick Bassiliades

Semantic web rule language (SWRL) combines web ontology language (OWL) ontologies with horn logic rules of the rule markup language (RuleML) family. Being supported by ontology editors, rule engines and ontology reasoners, it has become a very popular choice for developing rule-based applications on top of ontologies. However, SWRL is probably not going to become a WWW Consortium standard, prohibiting industrial acceptance. On the other hand, SPARQL Inferencing Notation (SPIN) has become a de-facto industry standard to represent SPARQL rules and constraints on semantic web models, building on the widespread acceptance of SPARQL (SPARQL Protocol and RDF Query Language). In this article, we argue that the life of existing SWRL rule-based ontology applications can be prolonged by converting them to SPIN. To this end, we have developed the SWRL2SPIN tool in Prolog that transforms SWRL rules into SPIN rules, considering the object-orientation of SPIN, i.e. linking rules to the appropriate ontology classes and optimizing them, as derived by analysing the rule conditions.


Author(s):  
C. Yilmaz ◽  
C. Comert ◽  
D. Yildirim

<p><strong>Abstract.</strong> Spatial quality assessment is based on the conformance of data to its specifications or fitness for users’ purpose. These specifications and the users’ purposes include the rules and constraints that a dataset should comply with. Assessing the compliance of data to the rules is still an active research subject and rule-based approach is the common method. For the efficient rule-based system implementation, it is desired to automate assessment process with a domain-independent and web-based approach. Reasoning capability and re-usability of semantic web components are expected to promote efficient implementation. In literature, many domains such as agriculture, music, Linked Data and geospatial domain etc. apply ontology-based methods for quality management. There is a need to model geospatial quality concepts and rules in a domain-independent way to automate the quality management process. In our model of rule formalism, we use Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL). We devise two types of ontologies. These are; the specification ontologies (SfO) and the Spatial Data Quality Ontology (SDQO). SfO is to be created by domain experts/users to define rules according to specifications. SDQO is responsible with quality assessment; it is domain independent and makes assessment based on the rules defined by any SfO for the related domain. The quality elements are domain and toposemantic consistency that assessed by SWRL. In this paper, the design considerations of the ontologies for quality assessment are explained with an example.</p>


Author(s):  
Zongmin Ma ◽  
Haitao Cheng ◽  
Li Yan

Ontology, as a formal representation method of domain knowledge, plays a particular important key role in semantic web. How to construct ontologies has become a key technology in the semantic web, especially constructing ontologies from existing domain knowledge. Currently, Petri nets have been a mathematical modeling tool, and have been widely studied and successfully applied in modeling of software engineering, database and artificial intelligence. In particular, PNML (Petri Net Markup Language) language has been a part of ISO/IEC Petri nets standard for representing and exchanging data on Petri nets. Therefore, how to construct ontologies from PNML model of Petri nets needs to be investigated. In this article, the authors investigate a method for automatic construction of web ontology language (OWL) ontologies from PNML of Petri nets. Firstly, this paper gives a formal definition and the semantics of PNML models of Petri nets. On this basis, a formal approach for constructing OWL ontologies from PNML model of Petri nets is proposed, i.e., this paper transforms Petri nets (including PNML model and PNML document of the Petri nets) into OWL ontologies at both structure and instance levels. Furthermore, the correctness of the transformation is proved. Finally, a prototype construction tool called PN2OWL is developed to transform Petri nets models into OWL ontologies automatically.


2020 ◽  
Vol 8 (4) ◽  
pp. 411
Author(s):  
Irianto Liko Koten ◽  
Cokorda Rai Adi Pramartha

Bali is an island in Indonesia that is rich in culture, for example, is a traditional dance. The traditional dance performance is diverse from one village to another village in Bali. The traditional Balinese dance knowledge should be captured dan documented well in a digital form so that it can be shared easily to different people and generation across the world. The use of ontology as an information representation technique is the preferred solution in this matter because ontology can be used to enhance the development of semantic applications, especially when dealing with semantic webs. In this project, the ontology was built using Protege ontology development tool.  We follow the methontology ontology development method where this methodology clearly describes each of its activity. In this study, we focus to describe two variants of Balinese traditional dance (Barong dance and Pendet dance). In the future, we expect that more type of dance can be documented using our proposed ontology. Keywords: Balinese Dance, Ontology,Semantic Web


Sign in / Sign up

Export Citation Format

Share Document