The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Managing semistructured data with florid: a deductive object-oriented perspective
Information Systems - Special issue on semistructured data
Extending and implementing the stable model semantics
Artificial Intelligence
Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Implementing Abstract Objects with Inheritance in Datalogneg
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Disjunctive logic programs with inheritance
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Translating Ontologies from Predicate-based to Frame-based Languages
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Applied Ontology
Minimal Deductive Systems for RDF
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Journal of Logic and Computation
Equilibria in heterogeneous nonmonotonic multi-context systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Rules with contextually scoped negation
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
OWLIM – a pragmatic semantic repository for OWL
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Inheritance in rule-based frame systems: semantics and inference
Journal on Data Semantics VII
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.00 |
This work introduces the framework of Frame Answer Set programs (fas ). fas programs are a frame logic-like language working under answer set semantics augmented with higher order constructs. The syntax of the language includes the possibility to manipulate nested molecules, class hierarchies, basic method signatures and contexts (called framespaces ). Semantics is defined in terms of a corresponding stable model semantics, paving the way to model object ontologies and their semantics under this well known paradigm. The language is purposely designed so that inheritance behavior and other features of the language can be easily customized by the introduction of specialized axiomatic modules, which can be modeled on purpose by advanced developers of ontology languages. Also, contexts allow to model hybrid systems integrating multiple data sources working under different entailment regimes. Properties and relationship with original F-logic semantics of some of the presented axiomatizations are given. A system prototype has been implemented and is available for evaluation.