Filters








2,246 Hits in 4.9 sec

Ontology based Specifications for Software Reliability Advancement

Shilpa Sharma, Maya Ingle
2012 International Journal of Computer Applications  
Formal ontologies enable use of automated consistency checking of the software system with respect to declarative specifications.  ...  Therefore, all means applicable ought to substantiate the specifications concerning requirements.  ...  The restriction to Horn clause logic and the mechanization of proofs which lead to logic languages like Prolog makes these specifications executable.  ... 
doi:10.5120/6163-8571 fatcat:azacuoqlvraotbyzfo5qf3fhou

A dataflow platform for applications based on Linked Data

Miguel Ceriani, Paolo Bottoni
2018 International Journal of Computational Science and Engineering (IJCSE)  
This paper describes in detail the functional language the platform gives access to, which is based on SPARQL (the standard query language for Linked Data) and on the dataflow paradigm.  ...  Modern software applications increasingly benefit from accessing the multifarious and heterogeneous Web of Data, thanks to the use of Web APIs and Linked Data principles.  ...  In all these proposals, the execution model corresponds to the management of a single HTTP request, as with typical application server technologies like Java Servlet or PHP.  ... 
doi:10.1504/ijcse.2018.093783 fatcat:274vqqpz5fa6fcht44rh73hwyq

Developing Distributed Reasoning-Based Applications for the Semantic Web

Dimitrios Koutsomitropoulos, Georgia Solomou, Tzanetos Pomonis, Panagiotis Aggelopoulos, Theodore Papatheodorou
2010 2010 IEEE 24th International Conference on Advanced Information Networking and Applications Workshops  
From a practical point of view however, it is not always clear how applications may take advantage of the knowledge discovery capabilities that reasoning can offer to the Semantic Web.  ...  In this paper we present and survey current methods that can be used to integrate inference-based services with such applications.  ...  of any ontology-based semantic application.  ... 
doi:10.1109/waina.2010.130 dblp:conf/aina/KoutsomitropoulosSPAP10 fatcat:vtpfln22k5hjdfrmix2g7bnpam

A Collaborative Framework to Realize Virtual Enterprises Using 3APL [chapter]

Gobinath Narayanasamy, Joe Cecil, Tran Cao Son
2006 Lecture Notes in Computer Science  
In this paper, we propose a collaborative framework to realize a Virtual Enterprise (VE) for the domain of Micro Assembly.  ...  We describe the implementation of the framework and experiment with two micro assembly work cells.  ...  form a Virtual Enterprise for the domain of Micro Assembly. 3APL language is used to develop the agents which constitute the collaborative system.  ... 
doi:10.1007/11961536_13 fatcat:o2hx5yqckfhkznfqljeaslqfcm

Bidirectional Transformation of MES Source Code and Ontologies

Badarinath Katti, Christiane Plociennik, Martin Ruskowski, Michael Schweitzer
2020 Procedia Manufacturing  
The foundation of ontology is exploited to formulate these rulesets using OWL based constructs and OWL based rule languages such as Semantic Web Rule Language(SWRL), Semantic Query-Enhanced Web Rule Language  ...  The foundation of ontology is exploited to formulate these rulesets using OWL based constructs and OWL based rule languages such as Semantic Web Rule Language(SWRL), Semantic Query-Enhanced Web Rule Language  ...  At the end of PO execution, the entire ontology is uploaded to the cloud based MES.  ... 
doi:10.1016/j.promfg.2020.02.070 fatcat:z42knzdu7zbhzabkpc3i5l43hi

Semantic web based Sensor Planning Services (SPS) for Sensor Web Enablement (SWE) [article]

P. Udayakumar, M. Indhumathi
2012 arXiv   pre-print
The above two obstacle are accomplished and obtained by the web based semantic technology in order to provide & apply the ontology based semantic rule to user driven a acquisitions and observation of Sensor  ...  The goal of Sensor Planning Service (SPS) of OGC - SWE is standardize the interoperability between a client and a server collection management environment.  ...  The Web Ontology Language (OWL) is built on top of RDF and adds a logical formalism to the language. OWL is based on a tractable subset of First Order Logic called Description Logic.  ... 
arXiv:1207.5310v1 fatcat:h4pif7vhrreehb74ajwufxhkky

D5.2 Policy-based Language Data Management

Víctor Rodríguez-Doncel, Pablo Calleja
2020 Zenodo  
Source code has been made publicly available, as well as the mapping of about 200 licences into a machine-readable form based on the Open Digital Rights Language (ODRL).  ...  This deliverable describes the data model, data assets and REST Services to manage the rights and provenance information related to the language resources.  ...  with a DL reasoner (subsumption etc.) (3) declaring the rule in a declarative language and using logic programming (PROLOG etc.) (4) executing an algorithm with an imperative language (Java, etc.).  ... 
doi:10.5281/zenodo.5744693 fatcat:itbpyxwai5agdbeptab27a772a

Mobile computing and Sensor Web Services for coastal buoys

Santhosh K. Amanchi, Surya S. Durbha, Roger L. King, Shruthi Bheemireddy, Nicolas H. Younan
2009 2009 IEEE International Geoscience and Remote Sensing Symposium  
Client applications can be very diverse in nature: a client could be a text-oriented tool, a graphical application, a Web server that accesses the database to display Web pages, a mobile device, or a specialized  ...  Accessing services anywhere and anytime, irrespective of the network is imperative to meet users' requirements.  ... 
doi:10.1109/igarss.2009.5417629 dblp:conf/igarss/AmanchiDKBY09 fatcat:a2f5zxtztvcbfnow5wootyr734

QIS: A Framework for Biomedical Database Federation

Luis Marenco, Tzuu-Yi Wang, Gordon Shepherd, Perry L. Miller, Prakash Nadkarni
2004 JAMIA Journal of the American Medical Informatics Association  
The QIS architecture is based on a set of distributed network-based servers, data source servers, integration servers, and ontology servers, that exchange metadata as well as mappings of both metadata  ...  and data elements to elements in an ontology.  ...  The Integrator Server (IS) stores, coordinates query execution, and returns query results to Web applications.  ... 
doi:10.1197/jamia.m1506 pmid:15298995 pmcid:PMC524633 fatcat:5w3kgpmvhzbj7gpll2mcnc2wyq

CARL: A Complex Applications Interoperability Language based on Semantic Technologies for Platform-as-a-Service Integration and Cloud Computing

Enrique Jiménez-Domingo, Juan Miguel Gómez-Berbís, Ricardo Colomo Palacios, Ángel García-Crespo
2011 Journal of research and practice in information technology  
We provide a formal model and semantics to enable Complex Application management and integration in PaaS environments, together with a thorough demonstration of the breakthroughs being provided by CARL  ...  In this paper, we present CARL, a novel, cutting-edge, interoperative and integration-oriented language based on Semantic Technologies.  ...  Declarative Languages A declarative language can be defined as a programming language based on Mathematics and Logics of imperative languages near to human reasoning, due to its not pointing out how to  ... 
dblp:journals/acj/Jimenez-DomingoBPG11 fatcat:r2pdqa2bybcehm7a3mvkxb36yu

An agent-based service-oriented approach for facility lifecycle information integration and decision supports

Weiming Shen, Qi Hao, Yunjiao Xue
2010 2010 IEEE International Conference on Systems, Man and Cybernetics  
With the objective of providing the best decision support to facility management and maintenance, this paper presents an agent-based, serviced-oriented approach for integrating data, information, and knowledge  ...  all the stages of the facility lifecycle, and particularly to optimize facility operations and maintenance.  ...  [18] reported the application of Semantic Web technology, particularly the Resource Description Framework (RDF) and the Web Ontology Language (OWL) to the implementation of a digital facility model  ... 
doi:10.1109/icsmc.2010.5642262 dblp:conf/smc/ShenHX10 fatcat:qifrsaxwhzcsppxafnj7pct2yi

LogiMOO: An extensible multi-user virtual world with natural language control

Paul Tarau, Koen De Bosschere, Veronica Dahl, Stephen Rochefort
1999 The Journal of Logic Programming  
We take advantage of the simplicity of our controlled language to provide as well an easy adaptation to other natural languages than English, with English-like representations as a universal interlingua  ...  which minimize the unknowns allowing us to deal with advanced Natural Language constructs like anaphora and relativization efficiently.  ...  Special thanks go to Daniel Perron for long discussions that helped to come up with the initial idea of LogiMOO and useful comments during the development of the project.  ... 
doi:10.1016/s0743-1066(98)10028-6 fatcat:2m4zvl632be65iqvhcgia6xtlu

Air Pollution Analysis using Ontologies and Regression Models

Parul Choudhary, Dr. Jyoti
2016 International Journal of Advanced Computer Science and Applications  
A method for data to formal ontology means a true meaning and lack of ambiguity to allow us to portray memo. In this work we survey regression model for ontologies and air pollution.  ...  well as the extensive use of a new data vision managed data society.  ...  The Pollution-Server is a top of the line PC application server with Internet availability.  ... 
doi:10.14569/ijacsa.2016.070723 fatcat:gmjxx6pnavhnja652ow2363cru

A framework for a distributed, hybrid, multiple-ontology clinical-guideline library, and automated guideline-support tools

Yuval Shahar, Ohad Young, Erez Shalom, Maya Galperin, Alon Mayaffit, Robert Moskovitch, Alon Hessing
2004 Journal of Biomedical Informatics  
However, most guidelines are in free text, not in a formal, executable format, and are not easily accessible to clinicians at the point of care.  ...  The DeGeL tools for support of guideline-based care operate, at some level, on all guideline ontologies.  ...  We thank Samson Tu and Mor Peleg for useful discussions regarding the need for supporting the use of multiple guideline ontologies. Drs.  ... 
doi:10.1016/j.jbi.2004.07.001 pmid:15488747 fatcat:tmwoeimtovbcznupkeudgltwwe

Controlled Language and Baby Turing Test for General Conversational Intelligence [article]

Anton Kolonin
2020 arXiv   pre-print
Our work is suggesting to use Baby Turing Test approach to extend the classic Turing Test for conversational intelligence and controlled language based on semantic graph representation extensible for arbitrary  ...  Respectively, it requires accessible measures of the intelligence quality and controllable ways of its achievement, ideally - having the linguistic and semantic models represented in a reasonable way.  ...  used for requests from client to server while plain text or RDF data are submitted back from server to client.  ... 
arXiv:2005.09280v1 fatcat:ncsaztpqz5h7fp7ddsjeiz3yoi
« Previous Showing results 1 — 15 out of 2,246 results