Sciweavers

1331 search results - page 48 / 267
» Description logic reasoning using the PTTP approach
Sort
View
AINA
2009
IEEE
16 years 28 days ago
Towards a Rational Approach for the Logical Modelling of Inhibition in Metabolic Networks
—This paper makes two contributions towards the logical modelling of inhibition in metabolic networks. First it exposes the logical inconsistency of an existing state-of-the-art ...
Oliver Ray
IADIS
2004
15 years 7 months ago
OWL DL: description logic's syntactic variant for the semantic web
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
Wei Ming Zhang, Jun-feng Song
EDBT
2002
ACM
138views Database» more  EDBT 2002»
16 years 6 months ago
DAML+OIL: A Reason-able Web Ontology Language
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
Ian Horrocks
ADC
2004
Springer
90views Database» more  ADC 2004»
15 years 11 months ago
Representing and Reasoning on XForms Document
Forms are the most common way to interface users and Web-based applications. Traditional forms cannot provide the functionality needed to fulfil the requirements of complex appli...
Peng Yew Cheow, Guido Governatori
DLOG
2008
15 years 8 months ago
Identifying Objects Over Time with Description Logics
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
David Toman, Grant E. Weddell