1331 search results - page 2 / 267 » Description logic reasoning using the PTTP approach |
DLOG
2010
13 years 3 months ago
2010
FLAIRS
2006
13 years 6 months ago
2006
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
JAIR
2007
13 years 5 months ago
2007
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
RULEML
2004
Springer
13 years 10 months ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
OTM
2007
Springer
13 years 11 months ago
2007
Springer
The problem of inconsistency handling in ontologies has recently been attracting a lot of attention. When inconsistency occurs in an ontology, there are mainly two ways to deal wit...