Sciweavers

460 search results - page 31 / 92
» On Role Logic
Sort
View
ISMB
1994
13 years 9 months ago
Inductive Logic Programming Used to Discover Topological Constraints in Protein Structures
Thispaperdescribesthe applicationof the Inductive Logic Programming0LP) program GOLEMto the discoveryof constraintsin the packingof beta-sheets in alpha/betaproteins. Theseconstra...
Ross D. King, Dominic A. Clark, Jack Shirazi, Mich...
DEBU
2002
120views more  DEBU 2002»
13 years 7 months ago
DAML+OIL: a Description Logic for the Semantic Web
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 precis...
Ian Horrocks
TABLEAUX
2005
Springer
14 years 1 months ago
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
In description logics (DLs), concrete domains are used for defining concepts based on concrete qualities of their instances such as the weight, age, duration, and spatial extensio...
Carsten Lutz, Maja Milicic
ACIIDS
2010
IEEE
170views Database» more  ACIIDS 2010»
14 years 24 days ago
Moral Hazard Resolved by Common-Knowledge in S5n Logic
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
Takashi Matsuhisa
AAAI
2008
13 years 10 months ago
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications, and has thus been studied by many auth...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter