2395 search results - page 155 / 479 » Reasoning in Semantic Wikis |
181
click to vote
AI
2001
Springer
15 years 8 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
391
click to vote
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
128
click to vote
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
155
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
181
click to vote
OWLED
2007
15 years 6 months ago
2007
There are many query languages (QLs) that can be used to query RDF and OWL ontologies but neither type is satisfactory for querying OWL-DL ontologies. RDF-based QLs (RDQL, SeRQL, S...