Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Heymans, Stijn"'
Autor:
de Bruijn, Jos, Heymans, Stijn
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 38, pages 535-568, 2010
The Resource Description Framework (RDF) is a Semantic Web standard that provides a data language, simply called RDF, as well as a lightweight ontology language, called RDF Schema. We investigate embeddings of RDF in logic and show how standard logic
Externí odkaz:
http://arxiv.org/abs/1401.3858
Research on developing efficient and scalable ASP solvers can substantially benefit by the availability of data sets to experiment with. KB_Bio_101 contains knowledge from a biology textbook, has been developed as part of Project Halo, and has recent
Externí odkaz:
http://arxiv.org/abs/1312.6138
Autor:
Feier, Cristina, Heymans, Stijn
Open Answer Set Programming (OASP) is an undecidable framework for integrating ontologies and rules. Although several decidable fragments of OASP have been identified, few reasoning procedures exist. In this article, we provide a sound, complete, and
Externí odkaz:
http://arxiv.org/abs/1110.2773
Autor:
Feier, Cristina, Heymans, Stijn
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based algorithm for satisfiability checking w.r.t. forest logic programs, a dec
Externí odkaz:
http://arxiv.org/abs/1011.5894
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web.We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge
Externí odkaz:
http://arxiv.org/abs/0711.2155
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants. We define a fixed point logic (FPL) extension of Clark's completion such that open answ
Externí odkaz:
http://arxiv.org/abs/cs/0603025
Publikováno v:
In Biologically Inspired Cognitive Architectures April 2015 12:34-42
Publikováno v:
In Journal of Applied Logic 2007 5(1):144-169
Publikováno v:
Journal of Biomedical Semantics, Vol 2, Iss 1, p 2 (2011)
Abstract Background The HL7 Clinical Document Architecture (CDA) constrains the HL7 Reference Information model (RIM) to specify the format of HL7-compliant clinical documents, dubbed CDA documents. The use of clinical terminologies such as SNOMED CT
Externí odkaz:
https://doaj.org/article/7dcfcaf7c02d471d8adc5b080adfdd57
Autor:
De Bruijn, Jos1 debruijn@inf.unibz.it, Heymans, Stijn2 stijn.heymans@deri.org
Publikováno v:
Fundamenta Informaticae. 2008, Vol. 82 Issue 3, p213-236. 24p. 3 Charts.