Results 151 to 160 of about 572,128 (190)

SHOIQD System an Approach to Integrate Description Logic SHOIQ with Nonmonotonic Rules

2009 Fifth International Joint Conference on INC, IMS and IDC, 2009
In this paper, we will introduce a hybrid knowledge system SHOIQD to integrate the description logic SHOIQ and nonmonotonic rules preserving decidability. We first define the syntax of the integrated knowledge base and then introduce it’s semantic based on well founded semantic. Next, we develop a new algorithm to answer queries over the knowledge base.
Ling Ji, Dantong Ouyang, Yuxin Ye
openaire   +1 more source

Rheological Study of Oil-Sand-Water Mixtures

Herald of the Azerbaijan Engineering Academy
Oil-gas practice shows that starting from wells up to delivery to a treatment station in industrial pipelines in most cases the transport of multicomponent and multiphase systems (oilwater-sand and other solids) is realized.
F. Ismayilova, G. G. Ismayilov, G. Zeynalova, Ismayilova Fidan   +3 more
semanticscholar   +1 more source

Web Reasoning and Rule Systems

Lecture Notes in Computer Science, 2013
Wolfgang Faber, Domenico Lembo
semanticscholar   +1 more source

Probabilistic Rule Learning in Nonmonotonic Domains

Computational Logic in Multi-Agent Systems, 2011
D. Corapi, Daniel Sykes, Katsumi Inoue, A. Russo   +3 more
semanticscholar   +1 more source

StreamRule: A Nonmonotonic Stream Reasoning System for the Semantic Web

International Conference on Web Reasoning and Rule Systems, 2013
A. Mileo, Ahmed Abdelrahman, Sean Policarpio, M. Hauswirth   +3 more
semanticscholar   +1 more source

Proving properties of rule-based systems

[1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application, 1991
R. Waldinger, M. Stickel
semanticscholar   +1 more source

Inheritance in Rule-Based Frame Systems: Semantics and Inference

Journal on Data Semantics, 2006
Guizhen Yang, M. Kifer
semanticscholar   +1 more source

Conditional Objects as Nonmonotonic Consequence Relationships

IEEE Transactions on Systems, Man & Cybernetics. Systems, 1994
D. Dubois, H. Prade
semanticscholar   +1 more source

The DReW System for Nonmonotonic DL-Programs

China Semantic Web Symposium, 2012
Guohui Xiao, Thomas Eiter, S. Heymans
semanticscholar   +1 more source

Nonmonotonic Description Logic Programs: Implementation and Experiments

Logic Programming and Automated Reasoning, 2005
Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, H. Tompits   +3 more
semanticscholar   +1 more source