Sciweavers

593 search results - page 11 / 119
» RDF and Logic: Reasoning and Extension
Sort
View
ECSQARU
2001
Springer
15 years 6 months ago
How to Reason Credulously and Skeptically within a Single Extension
Abstract. Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such exte...
James P. Delgrande, Torsten Schaub
JANCL
2002
66views more  JANCL 2002»
15 years 1 months ago
Reasoning Credulously and skeptically within a single extension
Consistency-based approaches in nonmonotonic reasoning may be expected to yield multiple sets of default conclusions for a given default theory. Reasoning about such extensions is ...
James P. Delgrande, Torsten Schaub
CADE
2007
Springer
16 years 1 months ago
Conservative Extensions in the Lightweight Description Logic EL
We bring together two recent trends in description logic (DL): lightweight DLs in which the subsumption problem is tractable and conservative extensions as a central tool for forma...
Carsten Lutz, Frank Wolter
CADE
2010
Springer
15 years 2 months ago
An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
We propose an extension of the syntactic restriction for complex role inclusion axioms in the description logic SROIQ. Like the original restriction in SROIQ, our restrictions can ...
Yevgeny Kazakov
89
Voted
BIRTHDAY
2006
Springer
15 years 5 months ago
Semantic Web Languages - Towards an Institutional Perspective
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...
Dorel Lucanu, Yuan-Fang Li, Jin Song Dong