3032 search results - page 179 / 607 » Description Logic Rules |
139
Voted
EON
2008
15 years 4 months ago
2008
One of the arguments for choosing description logics as the basis for the Web Ontology Language is the ability to support the development of complex ontologies through logical reas...
133
Voted
JWSR
2007
15 years 3 months ago
2007
: We propose a framework and polynomial algorithms for semantic-based automated Web service composition, fully compliant with Semantic Web technologies. The approach exploits the r...
111
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
144
Voted
LOGCOM
1998
15 years 3 months ago
1998
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
139
Voted
HPCS
2006
IEEE
15 years 9 months ago
2006
IEEE
An eXtensible Markup Language (XML) based data model for the Global Geodynamics Project (GGP) has been previously developed. Mindful of the need to incorporate metadata into the d...