Corpus ID: 11316737

Integrating Semantic Web Reasoning and Answer Set Programming

@inproceedings{Heymans2003IntegratingSW,
  title={Integrating Semantic Web Reasoning and Answer Set Programming},
  author={S. Heymans and D. Vermeir},
  booktitle={Answer Set Programming},
  year={2003}
}
We integrate an expressive class of description logics (DLs ) and answer set programming by extending the latter to support inve rted predicates and infinite domains, features that are present in most DLs. The e xt nded language, conceptual logic programming (CLP) proves to be a viable alt rnative for intuitively representing and reasoning nonmonotonically, i n a decidable way, with possibly infinite knowledge. Not only can conceptual logic p rograms (CLPs) simulate finite answer set… Expand
Combining answer set programming with description logics for the Semantic Web
Combining Description Logic and Defeasible Logic for the Semantic Web
A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web
An Extension to OWL with General Rules
Reasoning in Description Logics by a Reduction to Disjunctive Datalog
Answer Set Programming for the Semantic Web
...
1
2
3
...

References

SHOWING 1-10 OF 30 REFERENCES
Integrating ontology languages and answer set programming
  • S. Heymans, D. Vermeir
  • Computer Science
  • 14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings.
  • 2003
Practical Reasoning for Expressive Description Logics
Description logic programs: combining logic programs with description logic
Reasoning in description logics using declarative logic programming
Datalog and Description Logics: Expressive Power
AL-log: Integrating Datalog and Description Logics
On the Relative Expressiveness of Description Logics and Predicate Logics
A Defeasible Ontology Language
Local Closed-World Assumptions for reasoning about Semantic Web data
...
1
2
3
...