Sciweavers

3408 search results - page 103 / 682
» Logic, language, information and computation
Sort
View
WS
2008
ACM
13 years 8 months ago
Managing uncertainty and vagueness in description logics for the Semantic Web
Ontologies play a crucial role in the development of the Semantic Web as a means for defining shared terms in web resources. They are formulated in web ontology languages, which a...
Thomas Lukasiewicz, Umberto Straccia
ERSHOV
1999
Springer
14 years 1 months ago
Extensions: A Technique for Structuring Functional-Logic Programs
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
Rafael Caballero, Francisco Javier López-Fr...
JAPLL
2010
141views more  JAPLL 2010»
13 years 7 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
ICLP
2003
Springer
14 years 2 months ago
Order and Negation as Failure
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
Davy Van Nieuwenborgh, Dirk Vermeir
ICTL
1994
14 years 1 months ago
Abduction in Temporal Reasoning
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
Cristina Ribeiro, António Porto