Sciweavers

619 search results - page 28 / 124
» Paraconsistent Reasoning for the Semantic Web
Sort
View
RR
2007
Springer
14 years 3 months ago
Decidability Under the Well-Founded Semantics
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...
Natalia Cherchago, Pascal Hitzler, Steffen Hö...
DLOG
2003
13 years 10 months ago
RDFS(FA): A DL-ised Sub-language of RDFS
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
Jeff Z. Pan, Ian Horrocks
ICWE
2004
Springer
14 years 2 months ago
Description Logics Reasoning in Web-based Education Environments
The paper proposes some applications of description logic reasoning techniques in web–based education environments. Current solutions are web oriented but without applying ontolo...
Nenad Krdzavac, Dragan Gasevic, Vladan Devedzic
OWLED
2008
13 years 10 months ago
GO faster ChEBI with Reasonable Biochemistry
Chemical Entities of Biological Interest (ChEBI) is a database and ontology that represents biochemical knowledge about small molecules. Recent changes to the ontology have created...
Duncan Hull
RULEML
2005
Springer
14 years 2 months ago
A Visual Environment for Developing Defeasible Rule Bases for the Semantic Web
Defeasible reasoning is a rule-based approach for efficient reasoning with incomplete and inconsistent information. Such reasoning is useful for many applications in the Semantic W...
Nick Bassiliades, Efstratios Kontopoulos, Grigoris...