31,996 Hits in 1.6 sec

Semantic Web Reasoning with Conceptual Logic Programs [chapter]

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
2004 Lecture Notes in Computer Science  
We argue that Conceptual Logic Programming is a useful tool for uniformly representing and reasoning with both ontologies and rules on the Semantic Web, as they can capture a large fragment of the OWL  ...  Conceptual logic programs prove to be suitable for Semantic Web reasoning, for we can simulate an expressive DL closely related to the ontology language OWL DL.  ...  Semantic Web reasoning.  ... 
doi:10.1007/978-3-540-30504-0_9 fatcat:lcsryatlbrgjrnqfa5ucndphxu

The Web Service Modeling Language WSML: An Overview [chapter]

Jos de Bruijn, Holger Lausen, Axel Polleres, Dieter Fensel
2006 Lecture Notes in Computer Science  
This core language is extended in the directions of Description Logics and Logic Programming in a principled manner with strict layering.  ...  WSML distinguishes between conceptual and logical modeling in order to support users who are not familiar with formal logic, while not restricting the expressive power of the language for the expert user  ...  With WSML we investigate the use of Description Logics and Logic Programming for Semantic Web Services.  ... 
doi:10.1007/11762256_43 fatcat:ae5ffg45lffhzjmgcwfjzhnxz4

Preface SSW 2011 [chapter]

Paolo Cappellari, Roberto De Virgilio, Mark Roantree
2011 Lecture Notes in Business Information Processing  
Schuller and Weinzierl offer semantic reasoning in the area of multi-context systems with a top-down approach with no imposition on the context of either logic or syntax.  ...  with semantic web technologies that propose new models, languages and applications.  ...  Schuller and Weinzierl offer semantic reasoning in the area of multi-context systems with a top-down approach with no imposition on the context of either logic or syntax.  ... 
doi:10.1007/978-3-642-22056-2_55 fatcat:hvnxenm22ndfxb7gmvklsrot3u

Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules

2010 Theory and Practice of Logic Programming  
Logic has been a common ground where Database and Artificial Intelligence research competed and collaborated with each other for a long time (Abiteboulet al. 1995).  ...  not only the structure but also the semantics of data in an explicit way, thus enabling complex inference procedures.  ...  Motik for his presentation on Datalog-based formalisms in the Semantic-Web community.  ... 
doi:10.1017/s1471068410000086 fatcat:2zi7w5eejvanpknuncdy6qmw2e

OWL DL vs. OWL flight

Jos de Bruijn, Rubén Lara, Axel Polleres, Dieter Fensel
2005 Proceedings of the 14th international conference on World Wide Web - WWW '05  
In this paper we present OWL Flight, which is loosely based on OWL, but the semantics is grounded in Logic Programming rather than Description Logics, and it borrows the constraint-based modeling style  ...  The Semantic Web languages RDFS and OWL have been around for some time now.  ...  Acknowledgement This work has been supported by the European Commission under the projects DIP, Knowledge Web, InfraWebs, SEKT, SWWS, ASG and Esperonto; by the Science Foundation Ireland under the DERI-Lion  ... 
doi:10.1145/1060745.1060836 dblp:conf/www/BruijnLPF05 fatcat:nijmne2rfbfgzh2srzanlkv2km

Cohabitation of Relational Databases and Domain Ontologies in the Semantic Web Context

Leila Zemmouchi-Ghomari
2018 Journal of Systems Integration  
Despite the fact that database technology is mature, it is not yet compatible with Semantic Web requirements, such as Semantic Web language concordance.  ...  On the other hand, ontology technology is the most promising solution for concretizing the Semantic Web vision; however, it has not been recognized as the Semantic Web data model thus far.  ...  of information by programs with included parsers, and (3) semantic interoperability and reasoning support for identifying correspondences between unidentified and known terms.  ... 
doi:10.20470/jsi.v9i1.334 fatcat:2mw64w4ecbhprogngqrh5745mi

Requirements and languages for the semantic representation of manufacturing systems

Elisa Negri, Luca Fumagalli, Marco Garetti, Letizia Tanca
2016 Computers in industry (Print)  
The paper collects the main requirements that semantic languages must meet to be used in the manufacturing domain with the outlined purpose.  ...  This paper firstly shows the use of ontologies for the semantic annotation of a Web Service-based architecture for the control of manufacturing systems; and then contributes to the research field of manufacturing  ...  In fact, contrarily to Description Logics (DL), Logic Programming (LP) provides a limited conceptual modelling (because it is based on "flat" predicates): for this reason languages that are LP-based are  ... 
doi:10.1016/j.compind.2015.10.009 fatcat:ckwo5dg4gvd3th2epb6ahfug7u

Graph Models for Knowledge Representation and Reasoning for Contemporary and Emerging Needs – A Survey

Engels Rajangam, Chitra Annamalai
2016 International Journal of Information Technology and Computer Science  
This paper surveys graph based knowledge representation and reasoning, various graph models such as Conceptual Graphs, Concept Graphs, Semantic Networks, Inference Graphs and Causal Bayesian Networks used  ...  Knowledge Representation and Reasoning with large and growing data is extremely challenging but crucial for businesses to predict trends and support decision making.  ...  Ondex [29] software is available as programming API platforms. In 2014, Agarwal et al [30] used conceptual graphs for similarity search, for retrieval of web documents with desired media content.  ... 
doi:10.5815/ijitcs.2016.02.02 fatcat:hzq62w7slnbjzh7clg4vxvqfi4

Future Directions for Semantic Systems [chapter]

John F. Sowa
2011 Intelligent Systems Reference Library  
This article surveys systems with different levels of semantics: lightweight, middleweight, and heavyweight.  ...  Linked data systems with lightweight semantics are easy to develop, but they can't interpret the data they link.  ...  The VivoMind examples in Section 5 show how an integrated system of semantic tools can process both structured data and unstructured texts.  ... 
doi:10.1007/978-3-642-17931-0_2 fatcat:eyl7rmkql5aajb327cx5duksx4

Development of a Logic Layer in the Semantic Web: Research Issues

Naeem Khalid Janjua, Farookh Khadeer Hussain
2010 2010 Sixth International Conference on Semantics, Knowledge and Grids  
This paper discusses argumentation, semantic web and defeasible logic programming with their distinct features and identifies the different research issues that need to be addressed in order to realize  ...  defeasible argumentative reasoning in the semantic web applications.  ...  Moreover, the benefits of defeasible logic programming on the semantic web are elaborated upon with an example.  ... 
doi:10.1109/skg.2010.61 dblp:conf/skg/JanjuaH10 fatcat:ln3pql6ftzhmzf4x6uuq232mwm

Research on the Development Method of the Semantic Web Application Based on AllegroGraph

2019 DEStech Transactions on Computer Science and Engineering  
With the continuous development of semantic web technology, semantic web applications are getting more and more attention.  ...  Moreover, there are few semantic web products for users.  ...  INTRODUCTION With the continuous development of semantic web technology [1] , semantic web applications have emerged.  ... 
doi:10.12783/dtcse/cisnrc2019/33318 fatcat:l7ds62a3izdfdl5ca77fypmjim

The Maturing Semantic Web: Lessons in Web-Scale Knowledge Representation [chapter]

Mark Greaves
2009 Lecture Notes in Computer Science  
• DARPA and European Commission programs in information integration • Development of simple tractable "description logics" for classification • Conceptual Graphs and this community -Relational Algebras  ...  in US Government Partner with parallel EU efforts to standardize the new web languages People use implicit knowledge to reason with web pages Computers require explicit knowledge to reason with  ... 
doi:10.1007/978-3-642-03079-6_1 fatcat:bgkvdqaj3ndrtmz56qwqi4mbse

Research on Patent Model Integration Based on Ontology

Liping Zhi, Hengshan Wang, Yazheng Dang
2010 Computer and Information Science  
To integrate models and improve models collaboration, an ontology-based program-logic-combined (PLC) model representation is proposed, which is easily-implemented, reasoning-supported, has high openness  ...  Take the TV ontology as an example, OWL is used to describe the semantics of parameters.  ...  This paper uses the idea of semantic Web services combining ontology, and puts forward the program-logic-combined model representation (PLC) method.  ... 
doi:10.5539/cis.v3n3p134 fatcat:kuxzvcuskfeytjsbsyfzxjqksy

Web Semantic and Ontology

Elodie Marie Gontier
2015 Advances in Internet of Things  
This paper provides basic concepts of semantic web, and defines the structure and the main applications of ontology.  ...  Web content consists mainly of distributed hypertext and hypermedia, and is accessed via a combination of keyword based search and link navigation.  ...  So, ontology is a key technique with which to annotate semantics and provide a common, comprehensible foundation for resources on the semantic web.  ... 
doi:10.4236/ait.2015.52003 fatcat:br3bzuwysvcn5cjfneonli6fvq

Integration of Semantic Web Reasoning and Argument-based Reasoning

Toshiko Wakaki, Hajime Sawamura, Taro Fukumoto, Takanori Mukai, Katsumi Nitta
2007 Transactions of the Japanese society for artificial intelligence  
Recent progress of the Semantic Web technology provides expressive ontology languages. In this paper, we demonstrate integration of the Semantic Web reasoning and argument-based reasoning.  ...  We have implemented the integrated system such that Logic of Multiple-valued Argumentation-based agent system (specialized to two values {f, t}) can be accessible to the Semantic Web reasoning established  ...  Vermeir: Semantic Web Reasoning with Conceptual Logic Programs, Proceedings of RuleML 2004, Lecture Notes in Computer Science 3323, pp.113-127, Springer (2004) [Heymans 05] S. Heymans, D. V.  ... 
doi:10.1527/tjsai.22.322 fatcat:gnywekrhubavdalxtvl2kdobbi
« Previous Showing results 1 — 15 out of 31,996 results