Results 261 to 270 of about 261,741 (294)
Some of the next articles are maybe not open access.
A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics
2012 IEEE 24th International Conference on Tools with Artificial Intelligence, 2012Many research works had been done in order to define a semantics for logic programs. Most of these semantics are iterated fixed point semantics. The main idea is the canonical model approach which is a declarative semantics for logic programs that can be defined by selecting for each program one of its canonical models.
B. Benhamou, P. Siegel
openaire +1 more source
Semantic reconciliation across design and manufacturing knowledge models: A logic-based approach [PDF]
Applied Ontology, 2011 Ontology-based models of product design and manufacture are becoming increasingly important in the effort towards achieving interoperability among various stakeholders within and across product lifecycle systems. However, in the eventuality of having to interoperate between multiple ontology-based models, with the intention of sharing knowledge among ...
Chungoora, N., Young, R.I.M.
openaire +1 more source
Semantic Web Service Modeling and Composition Based on Description Logic Rule
2009 International Conference on Information Technology and Computer Science, 2009One kind of semantic web service modeling and composition method based on description logic (DL) rule is introduced in this paper. We use DL rule to figure out the hyponymy relationship between concepts of domain ontology and model web service functional semantic of ServiceProfile, and define service DL rule to describe semantic matching of atomic web ...
Sipei Liu, Dayou Liu, Hong Qi
openaire +1 more source
Modeling and Reasoning about Semantic Web Services Contract Using Description Logic
2008 The Ninth International Conference on Web-Age Information Management, 2008Currently, the natural expectation of contracting a set of Web services by virtue of their semantics is becoming more and more feasible and popular. Meanwhile, it is generally accepted that a formalism with a well-defined model-theoretic semantics (i.e. some sort of logics) should be considered as the underpinning of Semantic Web Services [1].
Hai Liu, Qing Li, Naijie Gu, An Liu
openaire +1 more source
A logical framework for modeling and reasoning about semantic web services contract
Proceedings of the 17th international conference on World Wide Web, 2008In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. Meanwhile, the original nature and advantages of classical DLs are also preserved to
Hai Liu, Qing Li, Naijie Gu, An Liu
openaire +1 more source
Research of Semantic Web Model and Reasoning Based on F-Logic
2011A formal modeling method of Semantic Web language OWL-S is proposed in this paper, to provide a core ontology modeling framework, and to map its global attributes into F-logic classes and formulas. At the same time it analyzes the construction of OWL-S model type, gives F-logic axioms, derivation rules and methods of its consistency and satisfiability ...
Guorong Qin, Tao He, Liping Li
openaire +1 more source
2008
Fuzzy linguistic logic programming, which is a result of integrating hedge algebras and fuzzy logic programming, is proposed to facilitate the representation and reasoning on knowledge expressed in natural language, in which vague sentences are usually given a degree of truth stated in linguistic terms rather than a number, and linguistic hedges are ...
Van Hung Le, Fei Liu, Dinh Khang Tran
openaire +1 more source
Fuzzy linguistic logic programming, which is a result of integrating hedge algebras and fuzzy logic programming, is proposed to facilitate the representation and reasoning on knowledge expressed in natural language, in which vague sentences are usually given a degree of truth stated in linguistic terms rather than a number, and linguistic hedges are ...
Van Hung Le, Fei Liu, Dinh Khang Tran
openaire +1 more source
Antibody–drug conjugates: Smart chemotherapy delivery across tumor histologies
Ca-A Cancer Journal for Clinicians, 2022Paolo Tarantino +2 more
exaly
Trees and Tree Model Semantics for Quantified Predicate Logic
2021Lorne Falkenstein +2 more
openaire +1 more source
An overview of real‐world data sources for oncology and considerations for research
Ca-A Cancer Journal for Clinicians, 2022Lynne Penberthy +2 more
exaly