Library

Export 15 results:
Filters: Author is Adila Alfa Krisnadhi  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
circumscription
Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler. Local closed world semantics: grounded circumscription for description logics. In Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Galway, Ireland: Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011; 2011.
Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler. Local Closed World Semantics: Keep it simple, stupid!. In Local Closed World Semantics: Keep it simple, stupid!. 2011.
Datalog
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
Description Logic
Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler. Local Closed World Semantics: Keep it simple, stupid!. In Local Closed World Semantics: Keep it simple, stupid!. 2011.
Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler. Local closed world semantics: grounded circumscription for description logics. In Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Galway, Ireland: Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011; 2011.
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
local closed world
Kunal Sengupta, Adila Alfa Krisnadhi, Pascal Hitzler. Local closed world semantics: grounded circumscription for description logics. In Web Reasoning and Rule Systems. 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Galway, Ireland: Lecture Notes in Computer Science Vol. 6902, Springer, Heidelberg, 2011; 2011.
OWL and description logic and decidability and local closed world and reasoningalgorithms and rules and datalog
David Carral Martinez, Adila Alfa Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler. Reconciling OWL and Rules. 2011.  (326.39 KB)
Semantic Web Rule Language
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
SROIQ
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
tractability
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
Web Ontology Language
Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. In International World Wide Web Conference (WWW2011). New York: Proceedings of the 20th International World Wide Web Conference (WWW2011); 2011.  (406.28 KB)
Web Ontology Language and Description Logic and SROIQ and Semantic Web Rule Language and Datalog and tractability
Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler. Nominal Schemas for Integrating Rules and Ontologies. 2010.  (0 bytes)