Sciweavers

665 search results - page 87 / 133
» A proposal for an owl rules language
Sort
View
COLING
2010
15 years 1 months ago
Entity-Focused Sentence Simplification for Relation Extraction
Relations between entities in text have been widely researched in the natural language processing and informationextraction communities. The region connecting a pair of entities (...
Makoto Miwa, Rune Sætre, Yusuke Miyao, Jun-i...
ICSOFT
2007
15 years 7 months ago
Integrating Software Architecture Concepts Into the MDA Platform
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...
Adel Alti, Tahar Khammaci, Adel Smeda, Djamel Benn...
IJCAI
2007
15 years 7 months ago
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
In the context of the Semantic Web, several approaches to the combination of ontologies, given in terms of theories of classical first-order logic, and rule bases have been propo...
Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...
ICWS
2004
IEEE
15 years 7 months ago
Logic-based Web Services Composition: From Service Description to Process Model
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
Jinghai Rao, Peep Küngas, Mihhail Matskin
IS
2006
15 years 6 months ago
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
Jinghai Rao, Peep Küngas, Mihhail Matskin