Filters








3,956 Hits in 9.8 sec

Association Rule Mining Based Extraction of Semantic Relations Using Markov Logic Network

Karthikeyan K, Karthikeyani V
2014 International journal of Web & Semantic Technology  
Here, we have to do the process of constructing the predicates and also first order logic formula. Here, also find the inference and learning weights using Markov Logic Network.  ...  This method can find the frequent items between concepts and converting the extensibility of existing lightweight ontologies to formal one.  ...  A first order logic formula can be constructing from the first order logic knowledge base using Markov Logic Network. According to the predicates we have to build the MLN file.  ... 
doi:10.5121/ijwest.2014.5403 fatcat:ntxcpkrrarfdbkkeainy6mk4g4

Ontology-based interoperation model of collaborative product development

Hongbo Sun, Wenhui Fan, Weiming Shen, Tianyuan Xiao
2012 Journal of Network and Computer Applications  
In this method ontologies are used to specify the semantics of object classes and interaction classes in subsystems in a formal and computer readable fashion.  ...  The reuse of existing systems is an important objective of HLA (High Level Architecture)-based collaborative product development systems.  ...  It is an object based formal knowledge representation method, a predictable subset of first order After the formal operator is introduced, the inferring of description logic can be formally operated.  ... 
doi:10.1016/j.jnca.2011.02.012 fatcat:w4u7typx2zapjo4dk522vf7n5q

A Conceptual Basis for Inconsistency Management in Model-based Systems Engineering

Sebastian J.I. Herzig, Christiaan J.J. Paredis
2014 Procedia CIRP  
Therefore, assisting humans by means of a computational method that can continuously identify and aid in resolving inconsistencies adds significant value.  ...  This paper introduces an approach to managing inconsistencies within the context of Model-Based Systems Engineering (MBSE).  ...  The authors would like to thank Michael Christian (Boeing), Ahsan Qamar (KTH) and Axel Reichwein (Koneksys LLC) for the many valuable discussions.  ... 
doi:10.1016/j.procir.2014.03.192 fatcat:k655chzwojaxvalglnsm5f3ibu

Enabling Knowledge Sharing within e-Government Back-Office through Ontological Engineering

Graciela Brusa, María Laura Caliusco, Omar Chiotti
2007 Journal of Theoretical and Applied Electronic Commerce Research  
This approach is constituted by a specific process to develop an ontology in the public sector and an ontology-based architecture.  ...  This paper presents an approach on how ontological engineering techniques can be applied to solving the problems of content discovery, aggregation, and sharing in the e-government back-office.  ...  Rules need to be explicitly defined using a formal language, such first order logics. This distinction is important to guide the ontological engineering on defining ontology constraints.  ... 
doi:10.3390/jtaer2010004 fatcat:qj45d7jss5faboa7u7flwmgtj4

KBRE: a framework for knowledge-based requirements engineering

Tuong Huan Nguyen, Bao Quoc Vo, Markus Lumpe, John Grundy
2013 Software quality journal  
A tool has been developed and applied to an industrial use case to validate our approach.  ...  In our KBRE model, Description Logic (DL) is used as the fundamental logical system for requirements analysis and reasoning.  ...  Lauenroth and Pohl (2008) proposed an approach for dynamically checking consistencies among domain requirements in Product Line Engineering.  ... 
doi:10.1007/s11219-013-9202-6 fatcat:mwcqweub5fagjhk7cyexvvj7zy

Data management in Systems biology II - Outlook towards the semantic web [article]

Gerhard Mayer
2009 arXiv   pre-print
The benefit of using ontologies, defined by the respective data standards, is shown.  ...  It is presented how ontologies can be used for the semantic enrichment of data and how this can contribute to the vision of the semantic web to become true.  ...  Acknowledgements This work was supported by the Federal Ministry of Education and Research (BMBF, Berlin, Germany, HepatoSys systems biology funding initiative, grant 0313080F).  ... 
arXiv:0912.2822v1 fatcat:2sl6qr3f2ve57g55gzxd3v4tpy

Ontology Approach in Lens Design [chapter]

Irina Livshits, Dmitry Mouromtsev, Vladimir Vasiliev
2012 Modern Information Systems  
Thus, some structuring and ordering of rules is introduced in the knowledge base.  ...  The formal presentation of the selection rules of optical system structure (as a starting point) is based on logic expressions using boolean operation conjunction (logical AND) and implication (logical  ...  New technologies and tools are designed, implemented and presented in the market on a daily bases.  ... 
doi:10.5772/36226 fatcat:qnttkhws3zdlbew6glq6fkt4ca

Ontologies and Semantic Web Technologies to Support Knowledge-Based Transformation and Decision Support

Tobias Lehmann, Andreas Karcher
2007 Information & Security An International Journal  
This article describes how semantic web technologies and here ontologies in particular, can support multinational and multi-agency knowledge representation.  ...  As the focal point of this work a Framework for the generic Integration of Structured IT Systems (ISITS) is described, which makes possible the structural and instance integration of systems, using both  ...  by First Order Logic systems like Datalog, Prolog, F-Logic, or many others. 19 Therefore, DL and its inference engines called Reasoners do not-as so often-cover all needs for inference with one piece  ... 
doi:10.11610/isij.2206 fatcat:cftvyywsebfbfdo5dg23zkq7yi

Next generation models for storage and representation of microbial biological annotation

Daniel J Quest, Miriam L Land, Thomas S Brettin, Robert W Cottingham
2010 BMC Bioinformatics  
Results: Here, we develop a framework for linking traditional data to OWL-based ontologies in genome annotation.  ...  An illustrative example shows how TURTLE (Terse RDF Triple Language) can be used as a human readable, but also semantically-aware, equivalent to GenBank/EMBL files.  ...  ML, DQ and RC provided the vision for the project. DQ wrote the software and developed the prototypes. DQ, ML and RC wrote the manuscript. All authors approved the final version of the manuscript.  ... 
doi:10.1186/1471-2105-11-s6-s15 pmid:20946598 pmcid:PMC3026362 fatcat:jlwn47faindwfklkfoa3yypwqy

Petroleum Ontology: An effective data integration and mining methodology aiding exploration of commercial petroleum plays

Shastri L. Nimmagadda, Heinz Dreher
2008 2008 6th IEEE International Conference on Industrial Informatics  
Seismic-time horizons, welldata, reservoir properties and petroleum production as data dimensions or classes and their associated attributes, have been used for integrating and modeling their data instances  ...  Petroleum ontology proves to be an effective knowledge mapping tool, which can revolutionize the petroleum exploration industries.  ...  This is an on-going commercial research work at Curtin Business School, Curtin University of Technology, Australia.  ... 
doi:10.1109/indin.2008.4618302 fatcat:numkyz4j6rffloodmposyo5r6u

A Review on Software Requirements Validation and Consistency Management

Massila Kamalrudin, Safiah Sidek
2015 International Journal of Software Engineering and Its Applications  
This paper provides a review of requirements validation and consistency management based on the existing literature in order to identify the gaps in the existing knowledge on the process of software requirements  ...  Drawn from this argument, a requirements validation process needs to consider Consistency, Completeness and Correctness ("3 Cs") for the production of a quality software specifications.  ...  Acknowledgements We acknowledge Professor John Hosking and John Grundy for their help and supervision. We also would like to thank the financial support from Ministry of Higher  ... 
doi:10.14257/ijseia.2015.9.10.05 fatcat:uo5x7zsikveujexplbynftknze

Medical Big Data Analysis in Hospital Information System [chapter]

Jing-Song Li, Yi-Fan Zhang, Yu Tian
2016 Big Data on Real-World Applications  
This chapter discusses medical Big Data analysis in HIS, including an introduction to the fundamental concepts, related platforms and technologies of medical Big Data processing, and advanced Big Data  ...  analyzing, distributing, and sharing.  ...  Author details Jing-Song Li * , Yi-Fan Zhang and Yu Tian *Address all correspondence to: ljs@zju.edu.cn Zhejiang University, Hangzhou, China  ... 
doi:10.5772/63754 fatcat:wyzmm5x325fi5nvhsd25viyjby

Semantic integration of UML class diagram with semantic validation on segments of mappings [article]

Hicham Elasri, Elmustapha Elabbassi, Sekkaki Abderrahim, Muhammad Fahad
2018 arXiv   pre-print
Manage-ment, description and modeling in such collaborative approach are through sever-al tools and techniques based on UML models. It is now supported by a large number of tools.  ...  The contribution in this ar-ticle is both to integrate a set of UML class diagrams using mappings that are re-sult of alignment and assist designers and developers in the integration.  ...  guide the process of software production.  ... 
arXiv:1801.04482v1 fatcat:mygfdaoez5h5jajmf256yotnvi

Semantic Web and Knowledge Graphs for Industry 4.0

Muhammad Yahya, John G. Breslin, Muhammad Intizar Ali
2021 Applied Sciences  
Moreover, to solve the challenges of limited depth and expressiveness in the current ontologies, we have proposed an enhanced reference generalized ontological model (RGOM) based on Reference Architecture  ...  RGOM can facilitate a range of I4.0 concepts including improved asset monitoring, production enhancement, reconfiguration of resources, process optimizations, product orders and deliveries, and the life  ...  PSL ontology represents the concepts of process modelling, planning, scheduling, simulation, etc. in axioms of first-order logic theories.  ... 
doi:10.3390/app11115110 fatcat:gvmzbbx665dt7p7tm7v5ubqnz4

Context modeling based on feature models expressed as views on ontologies via mappings

Sinisa Neskovic, Rade Matic
2015 Computer Science and Information Systems  
Feature models and their configurations derived from the global context state are then used by a specific dynamic software product line in order to adapt applications at runtime.  ...  The paper describes an overall model architecture and provides corresponding metamodels as well as rules for a mapping between feature models and ontologies.  ...  FMs are extensively used in software product line engineering (SPLE), an approach which intends to industrialize the development of similar software applications (a product family) by utilizing software  ... 
doi:10.2298/csis141031035n fatcat:gboactyufvh4haps4dn5r7g464
« Previous Showing results 1 — 15 out of 3,956 results