Results 1 - 10 of 961

Concept Model Semantics for DL Preferential Reasoning

by Katarina Britz, Thomas Meyer, Ivan Varzinczak
"... Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provide the foundation for the determination of the important notion of rational closure. Although they can be applied directly ..."
Abstract - Add to MetaCart
directly to a large variety of logics, these constructions suffer from the limitation that they are largely propositional in nature. One of the main obstacles in moving beyond the propositional case has been the lack of a formal semantics which appropriately generalizes the preferential and ranked models

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

by Sarit Kraus, Daniel Lehmann, Menachem Magidor , 1990
"... Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always been described only negatively, by the property it does not enjoy, i.e. monotonicity. We study here general patterns of ..."
Abstract - Cited by 626 (14 self) - Add to MetaCart
of nonmonotonic reasoning and try to isolate properties that could help us map the field of nonmonotonic reasoning by reference to positive properties. We concentrate on a number of families of nonmonotonic consequence relations, defined in the style of Gentzen [13]. Both proof-theoretic and semantic points

The DL-Lite family and relations

by Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev - JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH (JAIR) , 2009
"... The recently introduced series of description logics under the common moniker ‘DL-Lite ’ has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent conceptual modeling formalisms, o ..."
Abstract - Cited by 201 (70 self) - Add to MetaCart
The recently introduced series of description logics under the common moniker ‘DL-Lite ’ has attracted attention of the description logic and semantic web communities due to the low computational complexity of inference, on the one hand, and the ability to represent conceptual modeling formalisms

System Z: a natural ordering of defaults with tractable applications to default reasoning

by Judea Pearl , 1990
"... Recent progress towards unifying the probabilistic and preferential models semantics for non-monotonic reasoning has led to a remarkable observation: Any consistent system of default rules imposes an unambiguous and natural ordering on these rules which, to emphasize its sim-ple and basic character, ..."
Abstract - Cited by 190 (0 self) - Add to MetaCart
Recent progress towards unifying the probabilistic and preferential models semantics for non-monotonic reasoning has led to a remarkable observation: Any consistent system of default rules imposes an unambiguous and natural ordering on these rules which, to emphasize its sim-ple and basic character

Preferential querying for the semantic web

by Veronika Vaneková - INF. SCIENCES AND TECH. BULLETIN OF THE ACM SLOVAKIA , 2010
"... We present a model of user preference based on fuzzy sets and aggregation. The model is implemented in a webbased system Kore enabling preferential search for many users with different preferences within one arbitrary domain. The implementation includes a tool for top-k search and a tool for learnin ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
We present a model of user preference based on fuzzy sets and aggregation. The model is implemented in a webbased system Kore enabling preferential search for many users with different preferences within one arbitrary domain. The implementation includes a tool for top-k search and a tool

Piazza: Data Management Infrastructure for Semantic Web

by Alon Halevy, Zachary Ives, Peter Mork, Igor Tatarinov , 2003
"... The Semantic Web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. To this point, researchers have defined new languages for specifying meanings for concepts and developed techniques for reasoning about them, using RDF as the data mo ..."
Abstract - Cited by 166 (12 self) - Add to MetaCart
The Semantic Web envisions a World Wide Web in which data is described with rich semantics and applications can pose complex queries. To this point, researchers have defined new languages for specifying meanings for concepts and developed techniques for reasoning about them, using RDF as the data

Hypertableau Reasoning for Description Logics

by Boris Motik, Rob Shearer, Ian Horrocks - JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH , 2007
"... We present a novel reasoning calculus for the description logic SHOIQ + —a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nondeterminism and the construction of large models are two primary sources of inefficiency in the tableau-based reasoning ca ..."
Abstract - Cited by 132 (26 self) - Add to MetaCart
We present a novel reasoning calculus for the description logic SHOIQ + —a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nondeterminism and the construction of large models are two primary sources of inefficiency in the tableau-based reasoning

Reasoning about Information Change

by Jelle Gerbrandy, Willem Groeneveld , 1997
"... In this paper, we have combined techniques from epistemic and dynamic logic to arrive at a logic for describing multi-agent information change. The key concept of dynamic semantics is that the meaning of an assertion is the way in which the assertion changes the information of the hearer. Thus a dyn ..."
Abstract - Cited by 129 (4 self) - Add to MetaCart
In this paper, we have combined techniques from epistemic and dynamic logic to arrive at a logic for describing multi-agent information change. The key concept of dynamic semantics is that the meaning of an assertion is the way in which the assertion changes the information of the hearer. Thus a

Preferential model and argumentation semantics

by Nico Roos
"... Although the preferential model semantics is the standard semantics for non-monotonic reasoning systems, it is not used for argumentation frameworks. For argumentation frameworks, instead, argumentation semantics are used. This paper studies the relation between the two types of semantics. Several a ..."
Abstract - Add to MetaCart
Although the preferential model semantics is the standard semantics for non-monotonic reasoning systems, it is not used for argumentation frameworks. For argumentation frameworks, instead, argumentation semantics are used. This paper studies the relation between the two types of semantics. Several

OWL DL vs. OWL Flight: Conceptual Modeling and Reasoning for the Semantic Web

by Jos De Bruijn, Rubén Lara, Axel Polleres, Dieter Fensel , 2005
"... The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creators of the languages had hoped for. OWL has a number of problems in the area of interoperability and usability in the con ..."
Abstract - Cited by 59 (11 self) - Add to MetaCart
the constraint-based modeling style common in databases. This results in di#erent types of modeling primitives and enforces a di#erent style of ontology modeling. We analyze the modeling paradigms of OWL DL and OWL Flight, as well as reasoning tasks supported by both languages. We argue that di
Results 1 - 10 of 961